Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 4204 | 1674 |
h-index | 20 | 12 |
i10-index | 29 | 16 |
Acces public
Afișați-le pe toate17 articole
1 articol
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Gerwin KleinProofcraft and UNSWAdresă de e-mail confirmată pe unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesAdresă 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
- Kevin ElphinstoneUniversity of New South WalesAdresă de e-mail confirmată pe cse.unsw.edu.au
- Michael NorrishAustralian National UniversityAdresă de e-mail confirmată pe anu.edu.au
- David CockSenior Researcher, ETH ZurichAdresă de e-mail confirmată pe cse.unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Adresă de e-mail confirmată pe ce.pdn.ac.lk
- Ihor KuzSenior OS Engineer, Kry10 LtdAdresă de e-mail confirmată pe ikuz.org
- R JefferyUNSWAdresă de e-mail confirmată pe cse.unsw.edu.au
Urmăriți
June Andronick
CEO and co-founcer, Proofcraft
Adresă de e-mail confirmată pe proofcraft.systems - Pagina de pornire