Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 622 | 271 |
h-index | 9 | 8 |
i10-index | 9 | 7 |
Nyilvános hozzáférés
Összes megtekintése7 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mail megerősítve itt: unimelb.edu.au
- Gerwin KleinProofcraft and UNSWE-mail megerősítve itt: unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftE-mail megerősítve itt: proofcraft.systems
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mail megerősítve itt: ifi.lmu.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenE-mail megerősítve itt: in.tum.de
- R JefferyUNSWE-mail megerősítve itt: cse.unsw.edu.au
- Mark StaplesData61, CSIROE-mail megerősítve itt: data61.csiro.au