Mijn eigen profiel maken
Openbare toegang
Alles bekijken4 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Gernot HeiserProfessor of Computer Science, University of New South WalesGeverifieerd e-mailadres voor unsw.edu.au
- Gerwin KleinProofcraft and UNSWGeverifieerd e-mailadres voor unsw.edu.au
- Timothy RoscoeProfessor of Computer Science, ETH ZurichGeverifieerd e-mailadres voor inf.ethz.ch
- Michael NorrishAustralian National UniversityGeverifieerd e-mailadres voor anu.edu.au
- June AndronickCEO and co-founcer, ProofcraftGeverifieerd e-mailadres voor proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesGeverifieerd e-mailadres voor cse.unsw.edu.au
- Reto AchermannUniversity of British ColumbiaGeverifieerd e-mailadres voor cs.ubc.ca
- Kai Engelhardtn.a.Geverifieerd e-mailadres voor acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Geverifieerd e-mailadres voor ce.pdn.ac.lk
- Daniel SchwynETH ZürichGeverifieerd e-mailadres voor inf.ethz.ch