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