Computer Laboratory > Teaching > Course material 2009–10 > Specification and Verification I

 

Specification and Verification I
2009–10

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