Skapa en profil
Offentlig åtkomst
Visa alla7 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Toby MurraySchool of Computing and Information Systems, University of MelbourneVerifierad e-postadress på unimelb.edu.au
- Gerwin KleinProofcraft and UNSWVerifierad e-postadress på unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftVerifierad e-postadress på proofcraft.systems
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerifierad e-postadress på ifi.lmu.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerifierad e-postadress på in.tum.de
- R JefferyUNSWVerifierad e-postadress på cse.unsw.edu.au
- Mark StaplesData61, CSIROVerifierad e-postadress på data61.csiro.au