自分のプロフィールを作成
オープン アクセス
すべて表示13 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Conor McBrideReader, University of Strathclyde確認したメール アドレス: strath.ac.uk
- Edwin BradyReader, School of Computer Science, University of St Andrews確認したメール アドレス: st-andrews.ac.uk
- Herman GeuversRadboud University Nijmegen, the Netherlands確認したメール アドレス: cs.ru.nl
- Jeremy GibbonsProfessor of Computing, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of Edinburgh確認したメール アドレス: inf.ed.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of Edinburgh確認したメール アドレス: inf.ed.ac.uk
- Healfdene GoguenGoogle確認したメール アドレス: google.com
- Roy DyckhoffHon. Senior Lecturer, St Andrews University確認したメール アドレス: st-andrews.ac.uk
- Thorsten AltenkirchProfessor of Computer Science, University of Nottingham確認したメール アドレス: cs.nott.ac.uk
- Stéphane Graham-LengrandSRI International確認したメール アドレス: csl.sri.com
- Allais GuillaumeChancellor's Fellow, University of Strathclyde確認したメール アドレス: strath.ac.uk
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh確認したメール アドレス: ed.ac.uk
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen確認したメール アドレス: cs.ru.nl
- Claudio Sacerdoti CoenUniversity of Bologna確認したメール アドレス: unibo.it
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot University確認したメール アドレス: pps.univ-paris-diderot.fr
- Brian CampbellLaboratory for Foundations of Computer Science, University of Edinburgh確認したメール アドレス: ed.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web Services確認したメール アドレス: amazon.co.uk
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'Azur確認したメール アドレス: inria.fr
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbH確認したメール アドレス: kerguelen.org
- Ilias GarnierPostdoc, École Normale Supérieure確認したメール アドレス: di.ens.fr