Založiť si vlastný profil
Verejný prístup
všetky položky61 článkov
1 článok
dostupné
nedostupné
Na základe mandátov na financovanie
Spoluautori
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityOverená e-mailová adresa na: cs.cmu.edu
- Ofer StrichmanTechnion, Haifa, IsraelOverená e-mailová adresa na: ie.technion.ac.il
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandOverená e-mailová adresa na: usi.ch
- Georg WeissenbacherProfessor of Computer Science, TU WienOverená e-mailová adresa na: tuwien.ac.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKOverená e-mailová adresa na: cs.ox.ac.uk
- Thomas WahlNortheastern University, Boston, USAOverená e-mailová adresa na: northeastern.edu
- Michael TautschnigQueen Mary University of LondonOverená e-mailová adresa na: qmul.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordOverená e-mailová adresa na: cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexOverená e-mailová adresa na: diffblue.com
- Youcheng SunLecturer, University of ManchesterOverená e-mailová adresa na: manchester.ac.uk
- Philipp RuemmerProfessor in Computer Science, University of RegensburgOverená e-mailová adresa na: ur.de
- Vijay D'SilvaGoogle Inc.Overená e-mailová adresa na: google.com
- Cristina DavidUniversity of BristolOverená e-mailová adresa na: bristol.ac.uk
- Martin BrainCity, University of LondonOverená e-mailová adresa na: city.ac.uk
- Alastair DonaldsonImperial College LondonOverená e-mailová adresa na: imperial.ac.uk
- Leopold HallerGoogleOverená e-mailová adresa na: google.com
- Pascal KesseliDiffblue Ltd.Overená e-mailová adresa na: diffblue.com
- Hana ChocklerKing's College LondonOverená e-mailová adresa na: kcl.ac.uk
- Christoph M. WintersteigerImandraOverená e-mailová adresa na: imandra.ai
- Alexander KaiserUniversity of OxfordOverená e-mailová adresa na: cs.ox.ac.uk