Computer-Aided Formal Verification: 2016-2017
Timetables
|
Lecturer |
|
|
Term |
Michaelmas Term 2016 (16 lectures) |
|
Classes |
Michaelmas Term 2016Group 1 - Thursday, 10:00 - 11:00 ( Weeks 2,3,4,5,8 ) Room 051 Group 2 - Thursday, 11:00 - 12:00 ( Weeks 2,3,4,5,8 ) Room 051 Group 3 - Thursday, 12:00 - 13:00 ( Weeks 2,3,4,5,8 ) Room 051 |
|
Lectures |
Michaelmas Term 2016Monday, 15:00 - 16:00 ( Weeks 1-8 ) LTA Thursday, 14:00 - 15:00 ( Weeks 1-8 ) LTA |