Demonstration for Programme Builder
Searching for solutions
An open discussion on creative approaches to finding solutions. Lots to think about in this session.
9:00 - 10:00
Hovel: A Methodology for the Development of Model Checking.
, Andy Carr
, Darrin Knight
UCL, London, United Kingdom
The Relationship Between Courseware and the Internet Using RoonTossel
, Gregory Figueroa
, Kristi Andrews
Imperial College, London, United Kingdom.
Kings College, London, United Kingdom.
Oxford University, Oxford, United Kingdom