Preparing for the future

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