Computer-Aided Formal Verification: 2017-2018

Timetables

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