建立我自己的個人學術檔案
公開取用
查看全部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 的電子郵件地址已通過驗證