Searching for solutions

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

B1 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