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
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mailová adresa ověřena na: unsw.edu.au
- Gerwin KleinProofcraft and UNSWE-mailová adresa ověřena na: unsw.edu.au
- Michael NorrishAustralian National UniversityE-mailová adresa ověřena na: anu.edu.au
- Timothy RoscoeProfessor of Computer Science, ETH ZurichE-mailová adresa ověřena na: inf.ethz.ch
- June AndronickCEO and co-founcer, ProofcraftE-mailová adresa ověřena na: proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesE-mailová adresa ověřena na: cse.unsw.edu.au
- Kai Engelhardtn.a.E-mailová adresa ověřena na: acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)E-mailová adresa ověřena na: ce.pdn.ac.lk
- Reto AchermannUniversity of British ColumbiaE-mailová adresa ověřena na: cs.ubc.ca
- Daniel SchwynETH ZürichE-mailová adresa ověřena na: inf.ethz.ch
Sledovat
David Cock
Senior Researcher, ETH Zurich
E-mailová adresa ověřena na: cse.unsw.edu.au - Domovská stránka