Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 936 | 281 |
h-index | 8 | 6 |
i10-index | 8 | 6 |
Nyilvános hozzáférés
Összes megtekintése4 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Gerwin KleinProofcraft and UNSWE-mail megerősítve itt: unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mail megerősítve itt: unimelb.edu.au
- Daniel MatichukPhD Graduate, UNSWE-mail megerősítve itt: unswalumni.com
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesE-mail megerősítve itt: cse.unsw.edu.au
- Timothy BourkeE-mail megerősítve itt: tbrk.org
- Sean SeefriedResearch Engineer, NICTAE-mail megerősítve itt: nicta.com.au
- June AndronickCEO and co-founcer, ProofcraftE-mail megerősítve itt: proofcraft.systems
- Kai Engelhardtn.a.E-mail megerősítve itt: acm.org
- Tony HoskingAustralian National UniversityE-mail megerősítve itt: anu.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdE-mail megerősítve itt: ikuz.org