Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 622 | 271 |
Índice h | 9 | 8 |
Índice i10 | 9 | 7 |
Acceso público
Ver todo7 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Toby MurraySchool of Computing and Information Systems, University of MelbourneDirección de correo verificada de unimelb.edu.au
- Gerwin KleinProofcraft and UNSWDirección de correo verificada de unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftDirección de correo verificada de proofcraft.systems
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenDirección de correo verificada de ifi.lmu.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenDirección de correo verificada de in.tum.de
- R JefferyUNSWDirección de correo verificada de cse.unsw.edu.au
- Mark StaplesData61, CSIRODirección de correo verificada de data61.csiro.au