Computer Laboratory > Teaching > Course material 2007–08 > Specification and Verification II
Principal lecturer: Prof Mike Gordon Taken by: Part II Syllabus Past exam questions Current course page
© 2008 Computer Laboratory, University of CambridgePlease send any comments on this page to Prof Mike Gordon
![[Search]](../../../images/search.gif){kind=small}
![[A-Z Index]](../../../images/az.gif){kind=small}
![[Contact]](../../../images/contact.gif){kind=small}
![[University of Cambridge]](../../../images/identifier2.gif){kind=small}