Computer Laboratory

Course material 2010–11

Programming Logics and Software Verification

Convenor: Prof Mike Gordon
Taken by: MPhil ACS
Syllabus

The course web page is here.