Past exam papers: Proving Programs Correct
- 1994 Paper 7 Question 11
- 1994 Paper 8 Question 10
- 1993 Paper 10 Question 12
- 1993 Paper 11 Question 12
See also
- Specification and Verification I (2010–1995)
Proving Programs Correct
Department of Computer Science and Technology
Past exam papers: Proving Programs Correct
© 2023 Department of Computer Science and Technology, University of Cambridge
Information provided by [Javascript required]