Computer Laboratory

Course material 2010–11

Temporal Logic and Model Checking

Principal lecturer: Prof Mike Gordon
Taken by: Part II
Syllabus

Click here if you are not automatically redirected to the course web page.