Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen4 Artikel
0 Artikel
verfügbar
nicht verfügbar
Basierend auf Fördermandaten
Koautoren
- Gernot HeiserProfessor of Computer Science, University of New South WalesBestätigte E-Mail-Adresse bei unsw.edu.au
- Gerwin KleinProofcraft and UNSWBestätigte E-Mail-Adresse bei unsw.edu.au
- Michael NorrishAustralian National UniversityBestätigte E-Mail-Adresse bei anu.edu.au
- Timothy RoscoeProfessor of Computer Science, ETH ZurichBestätigte E-Mail-Adresse bei inf.ethz.ch
- June AndronickCEO and co-founcer, ProofcraftBestätigte E-Mail-Adresse bei proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesBestätigte E-Mail-Adresse bei cse.unsw.edu.au
- Kai Engelhardtn.a.Bestätigte E-Mail-Adresse bei acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Bestätigte E-Mail-Adresse bei ce.pdn.ac.lk
- Reto AchermannUniversity of British ColumbiaBestätigte E-Mail-Adresse bei cs.ubc.ca
- Daniel SchwynETH ZürichBestätigte E-Mail-Adresse bei inf.ethz.ch
Folgen