Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 625 | 274 |
h-index | 9 | 8 |
i10-index | 9 | 7 |
Acces public
Afișați-le pe toate7 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Toby MurraySchool of Computing and Information Systems, University of MelbourneAdresă de e-mail confirmată pe unimelb.edu.au
- Gerwin KleinProofcraft and UNSWAdresă de e-mail confirmată pe unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftAdresă de e-mail confirmată pe proofcraft.systems
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenAdresă de e-mail confirmată pe ifi.lmu.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenAdresă de e-mail confirmată pe in.tum.de
- R JefferyUNSWAdresă de e-mail confirmată pe cse.unsw.edu.au
- Mark StaplesData61, CSIROAdresă de e-mail confirmată pe data61.csiro.au