Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 939 | 284 |
h-index | 8 | 6 |
i10-indeks | 8 | 6 |
Offentlig adgang
Se alle4 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Gerwin KleinProofcraft and UNSWVerificeret mail på unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneVerificeret mail på unimelb.edu.au
- Daniel MatichukPhD Graduate, UNSWVerificeret mail på unswalumni.com
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerificeret mail på cse.unsw.edu.au
- Timothy BourkeVerificeret mail på tbrk.org
- Sean SeefriedResearch Engineer, NICTAVerificeret mail på nicta.com.au
- June AndronickCEO and co-founcer, ProofcraftVerificeret mail på proofcraft.systems
- Kai Engelhardtn.a.Verificeret mail på acm.org
- Tony HoskingAustralian National UniversityVerificeret mail på anu.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdVerificeret mail på ikuz.org