Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 4199 | 1667 |
Índice h | 20 | 12 |
Índice i10 | 29 | 16 |
Acceso público
Ver todo17 artículos
1 artículo
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Gerwin KleinProofcraft and UNSWDirección de correo verificada de unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesDirección de correo verificada de unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneDirección de correo verificada de unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesDirección de correo verificada de cse.unsw.edu.au
- Michael NorrishAustralian National UniversityDirección de correo verificada de anu.edu.au
- David CockSenior Researcher, ETH ZurichDirección de correo verificada de cse.unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Dirección de correo verificada de ce.pdn.ac.lk
- Ihor KuzSenior OS Engineer, Kry10 LtdDirección de correo verificada de ikuz.org
- R JefferyUNSWDirección de correo verificada de cse.unsw.edu.au
Seguir
June Andronick
CEO and co-founcer, Proofcraft
Dirección de correo verificada de proofcraft.systems - Página principal