내 프로필 만들기
공개 액세스
모두 보기자료 61개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
- Ofer StrichmanTechnion, Haifa, Israelie.technion.ac.il의 이메일 확인됨
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerlandusi.ch의 이메일 확인됨
- Georg WeissenbacherProfessor of Computer Science, TU Wientuwien.ac.at의 이메일 확인됨
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKcs.ox.ac.uk의 이메일 확인됨
- Thomas WahlNortheastern University, Boston, USAnortheastern.edu의 이메일 확인됨
- Michael TautschnigQueen Mary University of Londonqmul.ac.uk의 이메일 확인됨
- Tom MelhamProfessor of Computer Science, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of Sussexdiffblue.com의 이메일 확인됨
- Youcheng SunLecturer, University of Manchestermanchester.ac.uk의 이메일 확인됨
- Philipp RuemmerProfessor in Computer Science, University of Regensburgur.de의 이메일 확인됨
- Vijay D'SilvaGoogle Inc.google.com의 이메일 확인됨
- Cristina DavidUniversity of Bristolbristol.ac.uk의 이메일 확인됨
- Martin BrainCity, University of Londoncity.ac.uk의 이메일 확인됨
- Alastair DonaldsonImperial College Londonimperial.ac.uk의 이메일 확인됨
- Leopold HallerGooglegoogle.com의 이메일 확인됨
- Pascal KesseliDiffblue Ltd.diffblue.com의 이메일 확인됨
- Hana ChocklerKing's College Londonkcl.ac.uk의 이메일 확인됨
- Christoph M. WintersteigerMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Alexander KaiserUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨