home search a-z help
University of Cambridge Computer Laboratory
Specification and Verification I
Computer Laboratory > Course material 2006-07 > Specification and Verification I

Specification and Verification I
2006-07

Principal lecturer: Mike Gordon
Taken by: Part II

Syllabus
Past exam questions

Course home page