내 프로필 만들기
공개 액세스
모두 보기자료 9개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKhw.ac.uk의 이메일 확인됨
- Alastair BeresfordComputer Laboratory, University of Cambridgecam.ac.uk의 이메일 확인됨
- Martin KleppmannUniversity of Cambridgecam.ac.uk의 이메일 확인됨
- Victor GomesResearch Associate, University of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Peter SewellComputer Laboratory, University of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Claudio Sacerdoti CoenUniversity of Bolognaunibo.it의 이메일 확인됨
- Kathryn E. GrayUniversity of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot Universitypps.univ-paris-diderot.fr의 이메일 확인됨
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburghed.ac.uk의 이메일 확인됨
- Brian CampbellLaboratory for Foundations of Computer Science, University of Edinburghed.ac.uk의 이메일 확인됨
- Tom RidgeIndependenttom-ridge.com의 이메일 확인됨
- Scott OwensUniversity of Kentkent.ac.uk의 이메일 확인됨
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHkerguelen.org의 이메일 확인됨
- Stephen KellKing's College Londonkcl.ac.uk의 이메일 확인됨
- Susmit SarkarProfessor of Computer Science, University of St Andrewsst-andrews.ac.uk의 이메일 확인됨
- Christopher PulteUniversity of Cambridgecam.ac.uk의 이메일 확인됨
- James McKinnaHeriot-Watt University, Edinburghhw.ac.uk의 이메일 확인됨
- Ilias GarnierPostdoc, École Normale Supérieuredi.ens.fr의 이메일 확인됨
- François Bobotbobot.eu의 이메일 확인됨
- Caroline TrippelAssistant Professor, Stanford Universitystanford.edu의 이메일 확인됨