Založit si vlastní profil
Veřejný přístup
Zobrazit všechny9 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKE-mailová adresa ověřena na: hw.ac.uk
- Alastair BeresfordComputer Laboratory, University of CambridgeE-mailová adresa ověřena na: cam.ac.uk
- Martin KleppmannUniversity of CambridgeE-mailová adresa ověřena na: cam.ac.uk
- Victor GomesResearch Associate, University of CambridgeE-mailová adresa ověřena na: cl.cam.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeE-mailová adresa ověřena na: cl.cam.ac.uk
- Claudio Sacerdoti CoenUniversity of BolognaE-mailová adresa ověřena na: unibo.it
- Kathryn E. GrayUniversity of CambridgeE-mailová adresa ověřena na: cl.cam.ac.uk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityE-mailová adresa ověřena na: pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghE-mailová adresa ověřena na: ed.ac.uk
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghE-mailová adresa ověřena na: ed.ac.uk
- Tom RidgeIndependentE-mailová adresa ověřena na: tom-ridge.com
- Scott OwensUniversity of KentE-mailová adresa ověřena na: kent.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHE-mailová adresa ověřena na: kerguelen.org
- Stephen KellKing's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsE-mailová adresa ověřena na: st-andrews.ac.uk
- Christopher PulteUniversity of CambridgeE-mailová adresa ověřena na: cam.ac.uk
- James McKinnaHeriot-Watt University, EdinburghE-mailová adresa ověřena na: hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureE-mailová adresa ověřena na: di.ens.fr
- François BobotE-mailová adresa ověřena na: bobot.eu
- Caroline TrippelAssistant Professor, Stanford UniversityE-mailová adresa ověřena na: stanford.edu
Sledovat
Dominic Mulligan
Principal Applied Scientist, Amazon Web Services
E-mailová adresa ověřena na: amazon.co.uk - Domovská stránka