Computer-Aided Formal Verification: 2018-2019

Timetables

Lecturer	Alessandro Abate
Term	Michaelmas Term 2018 (16 lectures)
Classes	Michaelmas Term 2018 Group 1 - Thursday, 15:00 - 16:00 ( Weeks 2,3,4,5,8 ) Room 051 Group 2 - Friday, 14:00 - 15:00 ( Weeks 2,3,4,5,8 ) Room 051 Group 3 - Thursday, 15:00 - 16:00 ( Weeks 2,3,4,5,8 ) LTA
Practicals	Michaelmas Term 2018 Thursday, 15:00 - 17:00 ( Weeks 6-7 ) Room 379
Lectures	Michaelmas Term 2018 Wednesday, 11:00 - 12:00 ( Weeks 1-8 ) LTA Thursday, 14:00 - 15:00 ( Weeks 1-8 ) LTA