Computer-Aided Formal Verification: 2009-2010
Timetables
Lecturer |
|
Term |
Michaelmas Term 2009 (16 lectures) |
Lectures |
Monday,
10:00 - 11:00
(
Weeks 1,3,4,5,8 )
Room 478
Wednesday,
10:00 - 11:00
(
Weeks 1,3,5,6,7 )
Room 478
Friday,
17:00 - 18:00
(
Weeks 1,2,3,4,6,7 )
Room 478
|