Computer Laboratory > Teaching > Course material 2008–09 > All courses > Specification and Verification I
Principal lecturer: Prof Mike Gordon Taken by: Part II Syllabus Past exam questions Course material
© 2008 Computer Laboratory, University of CambridgePlease send any comments on this page to Prof Mike Gordon