Computer-Aided Formal Verification: 2022-2023

Timetables

Lecturer	David Parker
Term	Michaelmas Term 2022 (16 lectures)
Classes	Michaelmas Term 2022 Group 1 - Monday, 11:00 - 12:00 ( Weeks 3,4,6,8 ) Room 051 Group 2 - Monday, 12:00 - 13:00 ( Weeks 3,4,6,8 ) Room 051 Group 3 - Friday, 16:00 - 17:00 ( Weeks 3,4,6,8 ) Room 051 Trinity Term 2023 REVISION - Thursday, 11:00 - 13:00 ( Week 5 ) LTA
Lectures	Michaelmas Term 2022 Tuesday, 12:00 - 13:00 ( Weeks 1-8 ) LTA Thursday, 12:00 - 13:00 ( Weeks 1-8 ) LTA