Get my own profile
Public access
View all2 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Matthew J. ParkinsonMicrosoft ResearchVerified email at microsoft.com
Peter O'HearnLacework and University College LondonVerified email at ucl.ac.uk
James BrotherstonProfessor of Logic and Computation, University College LondonVerified email at ucl.ac.uk
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Martin OliverIOE, UCL's Faculty of Education and SocietyVerified email at ucl.ac.uk
James Aczelformerly Lecturer in New Technology in Teaching, The Open UniversityVerified email at aczel.co.uk
Harold ThimblebyProfessor of Computer Science, Swansea UniversityVerified email at swansea.ac.uk
Follow![Richard Bornat](/citations/images/avatar_scholar_128.png)
![Richard Bornat](/citations/images/avatar_scholar_128.png)
Richard Bornat
Professor of Computer Programming, Middlesex University
Verified email at bornat.me.uk