The following pages link to (Q4004176):
Displaying 5 items.
- Set theory for verification. I: From foundations to functions (Q1319386) (← links)
- Gordon's computer: A hardware verification case study in OBJ3 (Q1329091) (← links)
- Algebraic models of correctness for abstract pipelines. (Q1426058) (← links)
- Algebraic models of microprocessors architecture and organisation (Q1815999) (← links)
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon (Q2655321) (← links)