![]()
Dr Michael
Goldsmith
Formal Systems (Europe) Ltd
Keble Court
26 Temple Street
Oxford
OX4 1JS
+44 (0)1865 728460
michael@fsel.com
![]()
Prof.
Marta Kwiatkowska
School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT
+44 (0)121 4147264
mzk@cs.bham.ac.uk
![]()
Dr Gavin
Lowe
Oxford University Computing Laboratory
Wolfson Building
Parks Road
Oxford
OX1 3QD
+44 (0)1865 273841
gavin.lowe@comlab.ox.ac.uk
![]()
Dr. Sadie
Creese
Systems Assurance Group
QinetiQ Trusted Information Management, KI Systems
WWA109, QinetiQ, St Andrews Rd, Malvern, Worcs, WR14 3PS, UK
+44 (0)1684 89 7289
screese@qinetiq.com
![]()