Crea il mio profilo
Accesso pubblico
Visualizza tutto1 articolo
0 articoli
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
- Michael NorrishAustralian National UniversityEmail verificata su anu.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Email verificata su ce.pdn.ac.lk
- Kevin ElphinstoneUniversity of New South WalesEmail verificata su cse.unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftEmail verificata su proofcraft.systems
- David CockSenior Researcher, ETH ZurichEmail verificata su cse.unsw.edu.au
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesEmail verificata su cse.unsw.edu.au
- Yoram MosesTechnionEmail verificata su ee.technion.ac.il
- Peter GammieANUEmail verificata su anu.edu.au
- Kaile SuIIIS, Griffith UniversityEmail verificata su griffith.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneEmail verificata su unimelb.edu.au
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyEmail verificata su unsw.edu.au
- Tony HoskingAustralian National UniversityEmail verificata su anu.edu.au
- Chenyi ZhangOracle Labs AustraliaEmail verificata su oracle.com
- Ralf HuuckNICTA, UNSWEmail verificata su cse.unsw.edu.au