Computer-Aided Formal Verification: 2013-2014

Timetables

Lecturer	Alessandro Abate
Term	Michaelmas Term 2013 (16 lectures)
Classes	Michaelmas Term 2013 Group 1 - Wednesday, 10:00 - 11:00 ( Weeks 2-8 ) Room 051 Group 2 - Wednesday, 16:00 - 17:00 ( Weeks 2-8 ) Tony Hoare Room Group 3 - Friday, 15:00 - 16:00 ( Weeks 2-8 ) Room 441
Lectures	Michaelmas Term 2013 Monday, 16:00 - 17:00 ( Week 1 ) Lecture Theatre B Wednesday, 14:00 - 15:00 ( Weeks 1-8 ) Lecture Theatre B Friday, 14:00 - 15:00 ( Weeks 1,2,3,4,5,6,8 ) Lecture Theatre B