Computer-Aided Formal Verification: 2025-2026
Timetables
Lecturer | |
Term | Michaelmas Term 2025 (16 lectures) |
Classes | Michaelmas Term 2025Group 1 - Thursday, 13:00 - 14:00 ( Weeks 3-8 ) Tony Hoare Room, RHB Group 2 - Thursday, 14:00 - 15:00 ( Weeks 3-8 ) Tony Hoare Room, RHB Group 4 - Friday, 16:00 - 17:00 ( Weeks 3-8 ) Tony Hoare Room, RHB |
Lectures | Michaelmas Term 2025Monday, 11:00 - 12:00 ( Weeks 1-8 ) LTA Wednesday, 11:00 - 12:00 ( Weeks 1-8 ) LTA |