Get my own profile
Public access
View all4 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Daniel MatichukPhD Graduate, UNSWVerified email at unswalumni.com
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerified email at cse.unsw.edu.au
Sean SeefriedResearch Engineer, NICTAVerified email at nicta.com.au
June AndronickCEO and co-founcer, ProofcraftVerified email at proofcraft.systems
Kai Engelhardtn.a.Verified email at acm.org
Tony HoskingAustralian National UniversityVerified email at anu.edu.au
Ihor KuzPrincipal OS Engineer, Kry10 LtdVerified email at ikuz.org