Computer-Aided Formal Verification: 2014-2015

Timetables

Lecturer	Alessandro Abate
Term	Michaelmas Term 2014 (16 lectures)
Classes	Michaelmas Term 2014 Group 1 - Thursday, 14:00 - 15:00 ( Weeks 3-8 ) Tony Hoare Room RHB Group 2 - Friday, 14:00 - 15:00 ( Weeks 3-8 ) Room 051
Lectures	Michaelmas Term 2014 Wednesday, 15:00 - 16:00 ( Weeks 1,2,4,5,6,7,8 ) Lecture Theatre B Friday, 16:00 - 17:00 ( Weeks 1,2,4,5,6,7,8 ) Lecture Theatre B Friday, 17:00 - 18:00 ( Weeks 2,4 ) Lecture Theatre B