Computer-Aided Formal Verification: 2021-2022
Timetables
Lecturer | |
Term | Michaelmas Term 2021 (16 lectures) |
Classes | Michaelmas Term 2021Group 1 - Tuesday, 11:00 - 12:00 ( Weeks 3,4,6,8 ) Online Group 2 - Monday, 16:00 - 17:00 ( Weeks 3,4,5,6,7,8 ) Room 051 Group 3 - Monday, 11:00 - 12:00 ( Weeks 3,4,5,6,7,8 ) Online |
Lectures | Michaelmas Term 2021Tuesday, 14:00 - 15:00 ( Weeks 1,2,3,4,5,6,7,8 ) LTB Thursday, 14:00 - 15:00 ( Weeks 1,2,3,4,5,6,7,8 ) LTB |