Software Verification: 2012-2013

Timetables

Lecturer	Klaus Draeger \| Vojtech Forejt
Term	Hilary Term 2013 (18 lectures)
Classes	Hilary Term 2013 Group 1 - Thursday, 12:00 - 13:00 ( Weeks 3,5,7,8 ) Room 441 Group 2 - Wednesday, 17:00 - 18:00 ( Weeks 3,5,7,8 ) Room 051
Lectures	Hilary Term 2013 Wednesday, 10:00 - 11:00 ( Weeks 1-8 ) Tony Hoare Room Friday, 10:00 - 11:00 ( Weeks 1-8 ) Tony Hoare Room Lecture - Monday, 9:00 - 10:00 ( Weeks 2-3 ) Lecture Theatre A
Practicals	Hilary Term 2013 Friday, 16:00 - 18:00 ( Weeks 5-8 ) Room 379