Computer-Aided Formal Verification: 2011-2012
Timetables
Lecturer |
|
Term |
Michaelmas Term 2011 (16 lectures) |
Classes |
Michaelmas Term 2011Group 1 - Monday, 10:00 - 11:00 ( Weeks 3-8 ) Room 380 Group 2 - Monday, 11:00 - 12:00 ( Weeks 3-8 ) Room 380 |
Lectures |
Michaelmas Term 2011Friday, 10:00 - 11:00 ( Weeks 1-8 ) Lecture Theatre B Friday, 11:00 - 12:00 ( Weeks 1-8 ) Lecture Theatre B |