Computer Laboratory > Teaching > Course material 2008–09 > Specification and Verification II
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:41 by Mike Gordon