Computer-Aided Formal Verification: 2026-2027
Timetables
Lecturer | |
Term | Michaelmas Term 2026 (16 lectures) |
Lectures | Michaelmas Term 2026Wednesday, 11:00 - 12:00 ( Weeks 1-8 ) The Bill Roscoe Lecture Theatre Thursday, 11:00 - 12:00 ( Weeks 1-8 ) The Bill Roscoe Lecture Theatre |