自分のプロフィールを作成
オープン アクセス
すべて表示9 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UK確認したメール アドレス: hw.ac.uk
- Alastair BeresfordComputer Laboratory, University of Cambridge確認したメール アドレス: cam.ac.uk
- Martin KleppmannUniversity of Cambridge確認したメール アドレス: cam.ac.uk
- Victor GomesResearch Associate, University of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Peter SewellComputer Laboratory, University of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Claudio Sacerdoti CoenUniversity of Bologna確認したメール アドレス: unibo.it
- Kathryn E. GrayUniversity of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot University確認したメール アドレス: pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh確認したメール アドレス: ed.ac.uk
- Brian CampbellLaboratory for Foundations of Computer Science, University of Edinburgh確認したメール アドレス: ed.ac.uk
- Tom RidgeIndependent確認したメール アドレス: tom-ridge.com
- Scott OwensUniversity of Kent確認したメール アドレス: kent.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbH確認したメール アドレス: kerguelen.org
- Stephen KellKing's College London確認したメール アドレス: kcl.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St Andrews確認したメール アドレス: st-andrews.ac.uk
- Christopher PulteUniversity of Cambridge確認したメール アドレス: cam.ac.uk
- James McKinnaHeriot-Watt University, Edinburgh確認したメール アドレス: hw.ac.uk
- Ilias GarnierPostdoc, École Normale Supérieure確認したメール アドレス: di.ens.fr
- François Bobot確認したメール アドレス: bobot.eu
- Caroline TrippelAssistant Professor, Stanford University確認したメール アドレス: stanford.edu