Mijn eigen profiel maken
Openbare toegang
Alles bekijken7 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Toby MurraySchool of Computing and Information Systems, University of MelbourneGeverifieerd e-mailadres voor unimelb.edu.au
- Gerwin KleinProofcraft and UNSWGeverifieerd e-mailadres voor unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftGeverifieerd e-mailadres voor proofcraft.systems
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenGeverifieerd e-mailadres voor ifi.lmu.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenGeverifieerd e-mailadres voor in.tum.de
- R JefferyUNSWGeverifieerd e-mailadres voor cse.unsw.edu.au
- Mark StaplesData61, CSIROGeverifieerd e-mailadres voor data61.csiro.au