Crea il mio profilo
Accesso pubblico
Visualizza tutto9 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKEmail verificata su hw.ac.uk
- Alastair BeresfordComputer Laboratory, University of CambridgeEmail verificata su cam.ac.uk
- Martin KleppmannUniversity of CambridgeEmail verificata su cam.ac.uk
- Victor GomesResearch Associate, University of CambridgeEmail verificata su cl.cam.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeEmail verificata su cl.cam.ac.uk
- Claudio Sacerdoti CoenUniversity of BolognaEmail verificata su unibo.it
- Kathryn E. GrayUniversity of CambridgeEmail verificata su cl.cam.ac.uk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityEmail verificata su pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghEmail verificata su ed.ac.uk
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghEmail verificata su ed.ac.uk
- Tom RidgeIndependentEmail verificata su tom-ridge.com
- Scott OwensUniversity of KentEmail verificata su kent.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHEmail verificata su kerguelen.org
- Stephen KellKing's College LondonEmail verificata su kcl.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsEmail verificata su st-andrews.ac.uk
- Christopher PulteUniversity of CambridgeEmail verificata su cam.ac.uk
- James McKinnaHeriot-Watt University, EdinburghEmail verificata su hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureEmail verificata su di.ens.fr
- François BobotEmail verificata su bobot.eu
- Caroline TrippelAssistant Professor, Stanford UniversityEmail verificata su stanford.edu