Computer-Aided Formal Verification: 2019-2020
Timetables
Lecturer | |
Term | Michaelmas Term 2019 (16 lectures) |
Classes | Michaelmas Term 2019Group 1 - Friday, 11:00 - 12:00 ( Weeks 3,4,6,8 ) Room 013 RHB Group 2 - Friday, 12:00 - 13:00 ( Weeks 3,4,6,8 ) Room 013 RHB Group 3 - Friday, 16:00 - 17:00 ( Weeks 3,4,6,8 ) Room 013 RHB Group 4 - Friday, 11:00 - 12:00 ( Weeks 3,4,6,8 ) Tony Hoare RHB |
Lectures | Michaelmas Term 2019Monday, 14:00 - 15:00 ( Weeks 1-8 ) LTA Monday, 17:00 - 18:00 ( Week 2 ) LTA Wednesday, 11:00 - 12:00 ( Weeks 1,2,3,5,6,7,8 ) LTA |