创建我的个人资料
开放获取的出版物数量
查看全部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 的电子邮件经过验证