Crea il mio profilo
Accesso pubblico
Visualizza tutto25 articoli
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Gerwin KleinProofcraft and UNSWEmail verificata su unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesEmail verificata su unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftEmail verificata su proofcraft.systems
- Thomas SewellSenior Research Associate, Cambridge UniversityEmail verificata su cam.ac.uk
- Daniel MatichukPhD Graduate, UNSWEmail verificata su unswalumni.com
- Christine RizkallahSenior Lecturer at the University of MelbourneEmail verificata su unimelb.edu.au
- Gabriele KellerUtrecht UniversityEmail verificata su uu.nl
- Liam O'ConnorThe Australian National University and The University of EdinburghEmail verificata su anu.edu.au
- Zilin ChenUNSWEmail verificata su unswalumni.com
- Gidon ErnstSoftware and Computational Systems Lab, LMU MunichEmail verificata su lmu.de
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyEmail verificata su unsw.edu.au
- Peter GammieANUEmail verificata su anu.edu.au
- Yutaka NagashimaHuawei Technologies R&D (UK)Email verificata su huawei.com
- R JefferyUNSWEmail verificata su cse.unsw.edu.au
- Mark StaplesData61, CSIROEmail verificata su data61.csiro.au
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneEmail verificata su unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesEmail verificata su cse.unsw.edu.au
- Peter ChubbUNSW, SydneyEmail verificata su unsw.edu.au
- Timothy BourkeEmail verificata su tbrk.org
- Sean SeefriedResearch Engineer, NICTAEmail verificata su nicta.com.au
Segui
Toby Murray
School of Computing and Information Systems, University of Melbourne
Email verificata su unimelb.edu.au - Home page