내 프로필 만들기
공개 액세스
모두 보기자료 5개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Lennart BeringerPrinceton Universitycs.princeton.edu의 이메일 확인됨
- Amy FeltyProfessor of Computer Science, University of Ottawaeecs.uottawa.ca의 이메일 확인됨
- Camillo FiorentiniUniversita degli Studi di Milanodi.unimi.it의 이메일 확인됨
- Brigitte PientkaMcGill Universitycs.mcgill.ca의 이메일 확인됨
- Roy CroleAssociate Professor, University of Leicesterle.ac.uk의 이메일 확인됨
- David AspinallProfessor in Computer Science, University of Edinburghed.ac.uk의 이메일 확인됨
- Alwen TiuSchool of Computing, The Australian National Universityanu.edu.au의 이메일 확인됨
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of Edinburghinf.ed.ac.uk의 이메일 확인됨
- Mauro FerrariFull Professor of Mathematical Logic, Università degli Studi dell'Insubriauninsubria.it의 이메일 확인됨
- Dale MillerInria-Saclay and LIX, Ecole Polytechniqueinria.fr의 이메일 확인됨
- Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg Universitygu.se의 이메일 확인됨
- Frank PfenningProfessor of Computer Science, Carnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
- Donald SannellaProfessor of Computer Science, University of Edinburghinf.ed.ac.uk의 이메일 확인됨
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburghed.ac.uk의 이메일 확인됨
- Kathrin StarkAssistant Professor, Heriot-Watt Universityhw.ac.uk의 이메일 확인됨
- Steven SchäferPhD student at the Programming Systems Lab, Saarland Universityps.uni-saarland.de의 이메일 확인됨
- Allais GuillaumeChancellor's Fellow, University of Strathclydestrath.ac.uk의 이메일 확인됨
- Aliya HameerMcGill Universitymail.mcgill.ca의 이메일 확인됨
- David ThibodeauPhD graduate, McGill Universitymail.mcgill.ca의 이메일 확인됨
- Stephen GilmoreProfessor of Software Systems Modelling, The University of Edinburghinf.ed.ac.uk의 이메일 확인됨