Computer Laboratory > Teaching > Course material 2008–09 > Specification and Verification I
Principal lecturer: Prof Mike GordonTaken by: Part IISyllabus Past exam questions Course material
© 2008 Computer Laboratory, University of CambridgePlease send any comments on this page to Prof Mike GordonLast modified 2008-09-22 12:17 by Mike Gordon