Computer-Aided Formal Verification: 2015-2016

Timetables

Lecturer	Alessandro Abate
Term	Michaelmas Term 2015 (16 lectures)
Classes	Michaelmas Term 2015 Group 1 - Thursday, 12:00 - 13:00 ( Weeks 2-8 ) Room 051 Group 2 - Friday, 12:00 - 13:00 ( Weeks 2-8 ) Room 051
Lectures	Michaelmas Term 2015 Monday, 15:00 - 16:00 ( Weeks 1,2,4,5,6,7 ) LTB Wednesday, 15:00 - 16:00 ( Weeks 5-7 ) LTB Thursday, 11:00 - 12:00 ( Weeks 5-7 ) LTB Friday, 17:00 - 18:00 ( Weeks 2-5 ) LTB