Searching for solutions

An open discussion on creative approaches to finding solutions. Lots to think about in this session.
Oral Peter Black 9:00 - 10:00
O1 Hovel: A Methodology for the Development of Model Checking.
Peter Right, Andy Carr, Darrin Knight
UCL, London, United Kingdom

O3 The Relationship Between Courseware and the Internet Using RoonTossel
Tonya Fuller1,2, Gregory Figueroa2, Kristi Andrews3
1Imperial College, London, United Kingdom. 2Kings College, London, United Kingdom. 3Oxford University, Oxford, United Kingdom