Computer Laboratory > Teaching > Course material 2009–10 > Specification and Verification I
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:00 by Mike Gordon