Crea il mio profilo
Accesso pubblico
Visualizza tutto4 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Gerwin KleinProofcraft and UNSWEmail verificata su unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneEmail verificata su unimelb.edu.au
- Daniel MatichukPhD Graduate, UNSWEmail verificata su unswalumni.com
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesEmail verificata su cse.unsw.edu.au
- Timothy BourkeEmail verificata su tbrk.org
- Sean SeefriedResearch Engineer, NICTAEmail verificata su nicta.com.au
- June AndronickCEO and co-founcer, ProofcraftEmail verificata su proofcraft.systems
- Kai Engelhardtn.a.Email verificata su acm.org
- Tony HoskingAustralian National UniversityEmail verificata su anu.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdEmail verificata su ikuz.org