自分のプロフィールを作成
オープン アクセス
すべて表示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