Get my own profile
Public access
View all3 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Fiona McNeillReader in Computing Education, University of EdinburghVerified email at ed.ac.uk
- Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
- Myrto ArapinisSchool of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
- Aggelos KiayiasSchool of Informatics, University of Edinburgh, & IOGVerified email at ed.ac.uk
- Graham SteelINRIAVerified email at cryptosense.com