Založit si vlastní profil
Veřejný přístup
Zobrazit všechny1 článek
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Gerwin KleinProofcraft and UNSWE-mailová adresa ověřena na: unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mailová adresa ověřena na: unsw.edu.au
- Michael NorrishAustralian National UniversityE-mailová adresa ověřena na: anu.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)E-mailová adresa ověřena na: ce.pdn.ac.lk
- Kevin ElphinstoneUniversity of New South WalesE-mailová adresa ověřena na: cse.unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftE-mailová adresa ověřena na: proofcraft.systems
- David CockSenior Researcher, ETH ZurichE-mailová adresa ověřena na: cse.unsw.edu.au
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesE-mailová adresa ověřena na: cse.unsw.edu.au
- Yoram MosesTechnionE-mailová adresa ověřena na: ee.technion.ac.il
- Peter GammieANUE-mailová adresa ověřena na: anu.edu.au
- Kaile SuIIIS, Griffith UniversityE-mailová adresa ověřena na: griffith.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mailová adresa ověřena na: unimelb.edu.au
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyE-mailová adresa ověřena na: unsw.edu.au
- Tony HoskingAustralian National UniversityE-mailová adresa ověřena na: anu.edu.au
- Chenyi ZhangOracle Labs AustraliaE-mailová adresa ověřena na: oracle.com
- Ralf HuuckNICTA, UNSWE-mailová adresa ověřena na: cse.unsw.edu.au