Past exam papers: Specification and Verification of Hardware
- 1994 Paper 8 Question 11 = Paper 12 Question 9
- 1994 Paper 9 Question 11 = Paper 13 Question 9
- 1993 Paper 7 Question 5
- 1993 Paper 7 Question 6
See also
- Specification and Verification II (2010–1995)