Založit si vlastní profil
Veřejný přístup
Zobrazit všechny7 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mailová adresa ověřena na: unimelb.edu.au
- Gerwin KleinProofcraft and UNSWE-mailová adresa ověřena na: unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftE-mailová adresa ověřena na: proofcraft.systems
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mailová adresa ověřena na: ifi.lmu.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenE-mailová adresa ověřena na: in.tum.de
- R JefferyUNSWE-mailová adresa ověřena na: cse.unsw.edu.au
- Mark StaplesData61, CSIROE-mailová adresa ověřena na: data61.csiro.au