Computer-Aided Formal Verification: 2024-2025
Timetables
Lecturer | |
Term | Michaelmas Term 2024 (16 lectures) |
Classes | Michaelmas Term 2024Group 1 - Monday, 14:00 - 15:00 ( Weeks 3,4,6,8 ) Strachey Room Group 2 - Wednesday, 11:00 - 12:00 ( Weeks 3,4,6,8 ) Room 114, RHB Group 3 - Wednesday, 12:00 - 13:00 ( Weeks 3,4,6,8 ) Room 114, RHB |
Lectures | Michaelmas Term 2024Thursday, 12:00 - 13:00 ( Weeks 1-8 ) LTB Friday, 12:00 - 13:00 ( Weeks 1-8 ) LTB |