Computer-Aided Formal Verification: 2023-2024
Timetables
Lecturer | |
Term | Michaelmas Term 2023 (16 lectures) |
Classes | Michaelmas Term 2023Group 1 - Wednesday, 14:00 - 15:00 ( Weeks 3,4,6,8 ) Strachey Room (RHB) Group 2 - Friday, 15:00 - 16:00 ( Weeks 3,4,6,8 ) Strachey Room (RHB) Group 3 - Wednesday, 13:00 - 14:00 ( Weeks 3,4,6,8 ) Room 051 Trinity Term 2024Tuesday, 10:00 - 12:00 ( Week 3 ) Room 051 |
Lectures | Michaelmas Term 2023Tuesday, 14:00 - 15:00 ( Weeks 1-8 ) LTB Thursday, 14:00 - 15:00 ( Weeks 1-8 ) LTB |