Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 3848 | 1689 |
h-index | 13 | 9 |
i10-index | 13 | 9 |
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
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mail megerősítve itt: unsw.edu.au
- Gerwin KleinProofcraft and UNSWE-mail megerősítve itt: unsw.edu.au
- Timothy RoscoeProfessor of Computer Science, ETH ZurichE-mail megerősítve itt: inf.ethz.ch
- Michael NorrishAustralian National UniversityE-mail megerősítve itt: anu.edu.au
- June AndronickCEO and co-founcer, ProofcraftE-mail megerősítve itt: proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesE-mail megerősítve itt: cse.unsw.edu.au
- Reto AchermannUniversity of British ColumbiaE-mail megerősítve itt: cs.ubc.ca
- Kai Engelhardtn.a.E-mail megerősítve itt: acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)E-mail megerősítve itt: ce.pdn.ac.lk
- Daniel SchwynETH ZürichE-mail megerősítve itt: inf.ethz.ch