Založit si vlastní profil
Veřejný přístup
Zobrazit všechny4 články
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
- Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mailová adresa ověřena na: unimelb.edu.au
- Daniel MatichukPhD Graduate, UNSWE-mailová adresa ověřena na: unswalumni.com
- 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
- Timothy BourkeE-mailová adresa ověřena na: tbrk.org
- Sean SeefriedResearch Engineer, NICTAE-mailová adresa ověřena na: nicta.com.au
- June AndronickCEO and co-founcer, ProofcraftE-mailová adresa ověřena na: proofcraft.systems
- Kai Engelhardtn.a.E-mailová adresa ověřena na: acm.org
- Tony HoskingAustralian National UniversityE-mailová adresa ověřena na: anu.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdE-mailová adresa ověřena na: ikuz.org