home search a-z help
University of Cambridge Computer Laboratory
Specification and Verification II
Computer Laboratory > Course material 2006-07 > Specification and Verification II

Specification and Verification II
2006-07

Principal lecturer: Prof Mike Gordon
Taken by: Part II

Syllabus
Past exam questions
Specification and Verification 2 home page

© 2006 Prof Mike Gordon (content) & Dr Neil Dodgson (layout)
Please send any comments to pagemaster@cl.cam.ac.uk
Page last updated on 12-Sep-2006 at 12:33 by Mike Gordon