建立我自己的個人學術檔案
公開取用
查看全部61 篇文章
1 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University在 cs.cmu.edu 的電子郵件地址已通過驗證
- Ofer StrichmanTechnion, Haifa, Israel在 ie.technion.ac.il 的電子郵件地址已通過驗證
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland在 usi.ch 的電子郵件地址已通過驗證
- Georg WeissenbacherProfessor of Computer Science, TU Wien在 tuwien.ac.at 的電子郵件地址已通過驗證
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UK在 cs.ox.ac.uk 的電子郵件地址已通過驗證
- Thomas WahlNortheastern University, Boston, USA在 northeastern.edu 的電子郵件地址已通過驗證
- Michael TautschnigQueen Mary University of London在 qmul.ac.uk 的電子郵件地址已通過驗證
- Tom MelhamProfessor of Computer Science, University of Oxford在 cs.ox.ac.uk 的電子郵件地址已通過驗證
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of Sussex在 diffblue.com 的電子郵件地址已通過驗證
- Youcheng SunLecturer, University of Manchester在 manchester.ac.uk 的電子郵件地址已通過驗證
- Philipp RuemmerProfessor in Computer Science, University of Regensburg在 ur.de 的電子郵件地址已通過驗證
- Vijay D'SilvaGoogle Inc.在 google.com 的電子郵件地址已通過驗證
- Cristina DavidUniversity of Bristol在 bristol.ac.uk 的電子郵件地址已通過驗證
- Martin BrainCity, University of London在 city.ac.uk 的電子郵件地址已通過驗證
- Alastair DonaldsonImperial College London在 imperial.ac.uk 的電子郵件地址已通過驗證
- Leopold HallerGoogle在 google.com 的電子郵件地址已通過驗證
- Pascal KesseliDiffblue Ltd.在 diffblue.com 的電子郵件地址已通過驗證
- Hana ChocklerKing's College London在 kcl.ac.uk 的電子郵件地址已通過驗證
- Christoph M. WintersteigerImandra在 imandra.ai 的電子郵件地址已通過驗證
- Alexander KaiserUniversity of Oxford在 cs.ox.ac.uk 的電子郵件地址已通過驗證