내 프로필 만들기
공개 액세스
모두 보기자료 13개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Conor McBrideReader, University of Strathclydestrath.ac.uk의 이메일 확인됨
- Edwin BradyReader, School of Computer Science, University of St Andrewsst-andrews.ac.uk의 이메일 확인됨
- Herman GeuversRadboud University Nijmegen, the Netherlandscs.ru.nl의 이메일 확인됨
- Jeremy GibbonsProfessor of Computing, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of Edinburghinf.ed.ac.uk의 이메일 확인됨
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of Edinburghinf.ed.ac.uk의 이메일 확인됨
- Healfdene GoguenGooglegoogle.com의 이메일 확인됨
- Roy DyckhoffHon. Senior Lecturer, St Andrews Universityst-andrews.ac.uk의 이메일 확인됨
- Thorsten AltenkirchProfessor of Computer Science, University of Nottinghamcs.nott.ac.uk의 이메일 확인됨
- Stéphane Graham-LengrandSRI Internationalcsl.sri.com의 이메일 확인됨
- Allais GuillaumeChancellor's Fellow, University of Strathclydestrath.ac.uk의 이메일 확인됨
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburghed.ac.uk의 이메일 확인됨
- Robbert KrebbersAssociate Professor, Radboud University Nijmegencs.ru.nl의 이메일 확인됨
- Claudio Sacerdoti CoenUniversity of Bolognaunibo.it의 이메일 확인됨
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot Universitypps.univ-paris-diderot.fr의 이메일 확인됨
- Brian CampbellLaboratory for Foundations of Computer Science, University of Edinburghed.ac.uk의 이메일 확인됨
- Dominic MulliganPrincipal Applied Scientist, Amazon Web Servicesamazon.co.uk의 이메일 확인됨
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'Azurinria.fr의 이메일 확인됨
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHkerguelen.org의 이메일 확인됨
- Ilias GarnierPostdoc, École Normale Supérieuredi.ens.fr의 이메일 확인됨