Author Index

Erik Adkins
Kristi Andrews
Oxford University, Oxford, United Kingdom.
The Relationship Between Courseware and the Internet Using RoonTossel
Dec 4th 17, 13:00 - 14:00
Dec 4th 17, 9:00 - 10:00
Dec 4th 17, 11:15 - 11:25
John Bell
Oxford University, Oxford, United Kingdom.
Geoffrey Campbell
Imperial College, London, United Kingdom.
Andy Carr
Hovel: A Methodology for the Development of Model Checking
Dec 4th 17, 9:00 - 10:00
Dec 4th 17, 13:25 - 13:40
Gregory Figueroa
Kings College, London, United Kingdom.
The Relationship Between Courseware and the Internet Using RoonTossel
Dec 4th 17, 13:00 - 14:00
Dec 4th 17, 9:00 - 10:00
Dec 4th 17, 11:15 - 11:25
Tonya Fuller
Imperial College, London, United Kingdom. Kings College, London, United Kingdom.
The Relationship Between Courseware and the Internet Using RoonTossel
Dec 4th 17, 13:00 - 14:00
Dec 4th 17, 9:00 - 10:00
Dec 4th 17, 11:15 - 11:25
Gretchen Harrington
Lindsay James
UCL, London, United Kingdom.
An Analysis of the Transistor Using CLIME
Dec 4th 17, 10:00 - 10:30
Darrin Knight
Hovel: A Methodology for the Development of Model Checking
Dec 4th 17, 9:00 - 10:00
Dec 4th 17, 13:25 - 13:40
Jeanne Mason
University of the Highlands and Island, Perth, United Kingdom.
An Analysis of the Transistor Using CLIME
Dec 4th 17, 10:00 - 10:30
Peter Right
Hovel: A Methodology for the Development of Model Checking
Dec 4th 17, 9:00 - 10:00
Dec 4th 17, 13:25 - 13:40
Sharon Yates
Cambridge University, Cambridge, United Kingdom.
An Analysis of the Transistor Using CLIME
Dec 4th 17, 10:00 - 10:30