Založit si vlastní profil
Veřejný přístup
Zobrazit všechny2 články
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeE-mailová adresa ověřena na: cl.cam.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesE-mailová adresa ověřena na: amazon.co.uk
- Christian UrbanKing's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Stéphane Graham-LengrandSRI InternationalE-mailová adresa ověřena na: csl.sri.com
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamE-mailová adresa ověřena na: cs.bham.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghE-mailová adresa ověřena na: inf.ed.ac.uk
- Aleksandar NanevskiIMDEA Software InstituteE-mailová adresa ověřena na: imdea.org
- Dr. Claus-Peter WirthResearch Fellow, FB AI, Hochschule HarzE-mailová adresa ověřena na: logic.at
Sledovat
Murdoch Gabbay
Lecturer in Computer Science at Heriot-Watt University, Edinburgh, UK
E-mailová adresa ověřena na: hw.ac.uk - Domovská stránka