Mijn eigen profiel maken
Openbare toegang
Alles bekijken9 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKGeverifieerd e-mailadres voor hw.ac.uk
- Alastair BeresfordComputer Laboratory, University of CambridgeGeverifieerd e-mailadres voor cam.ac.uk
- Martin KleppmannUniversity of CambridgeGeverifieerd e-mailadres voor cam.ac.uk
- Victor GomesResearch Associate, University of CambridgeGeverifieerd e-mailadres voor cl.cam.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeGeverifieerd e-mailadres voor cl.cam.ac.uk
- Claudio Sacerdoti CoenUniversity of BolognaGeverifieerd e-mailadres voor unibo.it
- Kathryn E. GrayUniversity of CambridgeGeverifieerd e-mailadres voor cl.cam.ac.uk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityGeverifieerd e-mailadres voor pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghGeverifieerd e-mailadres voor ed.ac.uk
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghGeverifieerd e-mailadres voor ed.ac.uk
- Tom RidgeIndependentGeverifieerd e-mailadres voor tom-ridge.com
- Scott OwensUniversity of KentGeverifieerd e-mailadres voor kent.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHGeverifieerd e-mailadres voor kerguelen.org
- Stephen KellKing's College LondonGeverifieerd e-mailadres voor kcl.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsGeverifieerd e-mailadres voor st-andrews.ac.uk
- Christopher PulteUniversity of CambridgeGeverifieerd e-mailadres voor cam.ac.uk
- James McKinnaHeriot-Watt University, EdinburghGeverifieerd e-mailadres voor hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureGeverifieerd e-mailadres voor di.ens.fr
- François BobotGeverifieerd e-mailadres voor bobot.eu
- Caroline TrippelAssistant Professor, Stanford UniversityGeverifieerd e-mailadres voor stanford.edu