The following pages link to Tecton (Q40619):
Displaying 4 items.
- Gordon's computer: A hardware verification case study in OBJ3 (Q1329091) (← links)
- Constraint contextual rewriting. (Q1404984) (← links)
- An approach to literate and structured formal developments (Q1911317) (← links)
- New uses of linear arithmetic in automated theorem proving by induction (Q1915133) (← links)
