Get my own profile
Public access
View all7 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
June AndronickCEO and co-founcer, ProofcraftVerified email at proofcraft.systems
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
R JefferyUNSWVerified email at cse.unsw.edu.au
Mark StaplesData61, CSIROVerified email at data61.csiro.au