Preparing for the future

Explore ways and methods of future-proofing your ideas.
Oral Peter Black 13:00 - 14:00
O1 13:25 - 13:40 Hovel: A Methodology for the Development of Model Checking
Peter Right, Andy Carr, Darrin Knight
UCL, London, United Kingdom.