Searching for solutions

An open discussion on creative approaches to finding solutions.
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.