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