Computer Laboratory > Teaching > Course material 2008–09 > Specification and Verification I

 

Specification and Verification I
2008–09

Principal lecturer: Prof Mike Gordon
Taken by: Part II
Syllabus
Past exam questions
Course material