Software Verification: 2011-2012

Timetables

Lecturer	Klaus Draeger \| Vojtech Forejt
Term	Hilary Term 2012 (18 lectures)
Classes	Hilary Term 2012 Group 1 - Monday, 15:00 - 16:00 ( Week 3 ) Lecture Theatre B Group 1 - Monday, 15:00 - 16:00 ( Weeks 4,6,7 ) 051 Group 2 - Tuesday, 9:00 - 10:00 ( Weeks 3,4,6,7 ) 147
Practicals	Hilary Term 2012 Friday, 15:00 - 17:00 ( Weeks 5-8 ) 379
Lectures	Hilary Term 2012 Tuesday, 9:00 - 10:00 ( Weeks 1-2 ) Lecture Theatre B Thursday, 9:00 - 10:00 ( Weeks 1-8 ) Lecture Theatre B Friday, 12:00 - 13:00 ( Weeks 1-8 ) Lecture Theatre B