Skapa en profil
Offentlig åtkomst
Visa alla1 artikel
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerifierad e-postadress på cse.unsw.edu.au
- Yoram MosesTechnionVerifierad e-postadress på ee.technion.ac.il
- Gerwin KleinProofcraft and UNSWVerifierad e-postadress på unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerifierad e-postadress på unsw.edu.au
- Michael NorrishAustralian National UniversityVerifierad e-postadress på anu.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verifierad e-postadress på ce.pdn.ac.lk
- Kevin ElphinstoneUniversity of New South WalesVerifierad e-postadress på cse.unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftVerifierad e-postadress på proofcraft.systems
- David CockSenior Researcher, ETH ZurichVerifierad e-postadress på cse.unsw.edu.au
- Peter GammieANUVerifierad e-postadress på anu.edu.au
- Kaile SuIIIS, Griffith UniversityVerifierad e-postadress på griffith.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneVerifierad e-postadress på unimelb.edu.au
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyVerifierad e-postadress på unsw.edu.au
- Tony HoskingAustralian National UniversityVerifierad e-postadress på anu.edu.au
- Chenyi ZhangOracle Labs AustraliaVerifierad e-postadress på oracle.com
- Ralf HuuckNICTA, UNSWVerifierad e-postadress på cse.unsw.edu.au