Založit si vlastní profil
Veřejný přístup
Zobrazit všechny61 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Ofer StrichmanTechnion, Haifa, IsraelE-mailová adresa ověřena na: ie.technion.ac.il
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandE-mailová adresa ověřena na: usi.ch
- Georg WeissenbacherProfessor of Computer Science, TU WienE-mailová adresa ověřena na: tuwien.ac.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mailová adresa ověřena na: cs.ox.ac.uk
- Thomas WahlNortheastern University, Boston, USAE-mailová adresa ověřena na: northeastern.edu
- Michael TautschnigQueen Mary University of LondonE-mailová adresa ověřena na: qmul.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexE-mailová adresa ověřena na: diffblue.com
- Youcheng SunLecturer, University of ManchesterE-mailová adresa ověřena na: manchester.ac.uk
- Philipp RuemmerProfessor in Computer Science, University of RegensburgE-mailová adresa ověřena na: ur.de
- Vijay D'SilvaGoogle Inc.E-mailová adresa ověřena na: google.com
- Cristina DavidUniversity of BristolE-mailová adresa ověřena na: bristol.ac.uk
- Martin BrainCity, University of LondonE-mailová adresa ověřena na: city.ac.uk
- Alastair DonaldsonImperial College LondonE-mailová adresa ověřena na: imperial.ac.uk
- Leopold HallerGoogleE-mailová adresa ověřena na: google.com
- Pascal KesseliDiffblue Ltd.E-mailová adresa ověřena na: diffblue.com
- Hana ChocklerKing's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Christoph M. WintersteigerImandraE-mailová adresa ověřena na: imandra.ai
- Alexander KaiserUniversity of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk