Computer-Aided Formal Verification: 2012-2013
Timetables
Lecturer |
|
Term |
Michaelmas Term 2012 (16 lectures) |
Classes |
Michaelmas Term 2012Group 1 - Thursday, 17:00 - 18:00 ( Weeks 3-8 ) Room 051 Group 2 - Friday, 16:00 - 17:00 ( Weeks 3-8 ) Room 441 |
Lectures |
Michaelmas Term 2012Wednesday, 16:00 - 17:00 ( Weeks 1-8 ) Tony Hoare Room Thursday, 16:00 - 17:00 ( Weeks 1-8 ) Tony Hoare Room |