Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 939 | 284 |
h-index | 8 | 6 |
i10-index | 8 | 6 |
Acces public
Afișați-le pe toate4 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Gerwin KleinProofcraft and UNSWAdresă de e-mail confirmată pe unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneAdresă de e-mail confirmată pe unimelb.edu.au
- Daniel MatichukPhD Graduate, UNSWAdresă de e-mail confirmată pe unswalumni.com
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesAdresă de e-mail confirmată pe cse.unsw.edu.au
- Timothy BourkeAdresă de e-mail confirmată pe tbrk.org
- Sean SeefriedResearch Engineer, NICTAAdresă de e-mail confirmată pe nicta.com.au
- June AndronickCEO and co-founcer, ProofcraftAdresă de e-mail confirmată pe proofcraft.systems
- Kai Engelhardtn.a.Adresă de e-mail confirmată pe acm.org
- Tony HoskingAustralian National UniversityAdresă de e-mail confirmată pe anu.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdAdresă de e-mail confirmată pe ikuz.org