Computer-Aided Formal Verification: 2020-2021
Timetables
Lecturer | |
Term | Michaelmas Term 2020 (16 lectures) |
Classes | Michaelmas Term 2020Group 1 - Monday, 10:00 - 11:00 ( Weeks 3,4,6,8 ) Online Group 2 - Wednesday, 13:00 - 14:00 ( Weeks 3,4,6,8 ) Online Group 3 - Tuesday, 14:00 - 15:00 ( Weeks 3,4,6,8 ) Online |