Title Index

P2 An Analysis of the Transistor Using CLIME Lindsay James1, Sharon Yates2, Jeanne Mason3
1UCL, London, United Kingdom, 2Cambridge University, Cambridge, United Kingdom, 3University of the Highlands and Island, Perth, United Kingdom
O1 Hovel: A Methodology for the Development of Model Checking Peter Right, Andy Carr, Darrin Knight
UCL, London, United Kingdom
I1 Self-Learning, Pervasive Symmetries for Consistent Hashing Geoffrey Campbell1, John Bell2
1Imperial College, London, United Kingdom, 2Oxford University, Oxford, United Kingdom
O2 The Effect of Extensible Models on Cryptography Gretchen Harrington, Erik Adkins
Imperial College, London, United Kingdom
03 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