Skapa en profil
Offentlig åtkomst
Visa alla4 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerifierad e-postadress på unsw.edu.au
- Gerwin KleinProofcraft and UNSWVerifierad e-postadress på unsw.edu.au
- Michael NorrishAustralian National UniversityVerifierad e-postadress på anu.edu.au
- Timothy RoscoeProfessor of Computer Science, ETH ZurichVerifierad e-postadress på inf.ethz.ch
- June AndronickCEO and co-founcer, ProofcraftVerifierad e-postadress på proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesVerifierad e-postadress på cse.unsw.edu.au
- Kai Engelhardtn.a.Verifierad e-postadress på acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verifierad e-postadress på ce.pdn.ac.lk
- Reto AchermannUniversity of British ColumbiaVerifierad e-postadress på cs.ubc.ca
- Daniel SchwynETH ZürichVerifierad e-postadress på inf.ethz.ch