Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 4200 | 1670 |
indice h | 20 | 12 |
indice i10 | 29 | 16 |
Accès public
Tout afficher17 articles
1 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Gerwin KleinProofcraft and UNSWAdresse e-mail validée de unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesAdresse e-mail validée de unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneAdresse e-mail validée de unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesAdresse e-mail validée de cse.unsw.edu.au
- Michael NorrishAustralian National UniversityAdresse e-mail validée de anu.edu.au
- David CockSenior Researcher, ETH ZurichAdresse e-mail validée de cse.unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Adresse e-mail validée de ce.pdn.ac.lk
- Ihor KuzSenior OS Engineer, Kry10 LtdAdresse e-mail validée de ikuz.org
- R JefferyUNSWAdresse e-mail validée de cse.unsw.edu.au
Suivre
June Andronick
CEO and co-founcer, Proofcraft
Adresse e-mail validée de proofcraft.systems - Page d'accueil