Computer Laboratory > Teaching > Course material 2009–10 > Specification and Verification II
Principal lecturer: Prof Mike GordonTaken by: Part IISyllabusPast exam questionsCourse material
© 2009 Computer Laboratory, University of CambridgePlease send any comments on this page to Prof Mike GordonLast modified 2009-12-09 15:02 by Mike Gordon