Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen7 Artikel
0 Artikel
verfügbar
nicht verfügbar
Basierend auf Fördermandaten
Koautoren
- Toby MurraySchool of Computing and Information Systems, University of MelbourneBestätigte E-Mail-Adresse bei unimelb.edu.au
- Gerwin KleinProofcraft and UNSWBestätigte E-Mail-Adresse bei unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftBestätigte E-Mail-Adresse bei proofcraft.systems
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenBestätigte E-Mail-Adresse bei ifi.lmu.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenBestätigte E-Mail-Adresse bei in.tum.de
- R JefferyUNSWBestätigte E-Mail-Adresse bei cse.unsw.edu.au
- Mark StaplesData61, CSIROBestätigte E-Mail-Adresse bei data61.csiro.au