Skapa en profil
Offentlig åtkomst
Visa alla5 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Gerwin KleinProofcraft and UNSWVerifierad e-postadress på unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneVerifierad e-postadress på unimelb.edu.au
- Daniel MatichukPhD Graduate, UNSWVerifierad e-postadress på unswalumni.com
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerifierad e-postadress på cse.unsw.edu.au
- Timothy BourkeVerifierad e-postadress på tbrk.org
- Sean SeefriedResearch Engineer, NICTAVerifierad e-postadress på nicta.com.au
- June AndronickCEO and co-founcer, ProofcraftVerifierad e-postadress på proofcraft.systems
- Kai Engelhardtn.a.Verifierad e-postadress på acm.org
- Tony HoskingAustralian National UniversityVerifierad e-postadress på anu.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdVerifierad e-postadress på ikuz.org