Crea el meu perfil
Accés públic
Mostra-ho tot61 articles
1 article
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityCorreu electrònic verificat a cs.cmu.edu
- Ofer StrichmanTechnion, Haifa, IsraelCorreu electrònic verificat a ie.technion.ac.il
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandCorreu electrònic verificat a usi.ch
- Georg WeissenbacherProfessor of Computer Science, TU WienCorreu electrònic verificat a tuwien.ac.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKCorreu electrònic verificat a cs.ox.ac.uk
- Thomas WahlNortheastern University, Boston, USACorreu electrònic verificat a northeastern.edu
- Michael TautschnigQueen Mary University of LondonCorreu electrònic verificat a qmul.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordCorreu electrònic verificat a cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexCorreu electrònic verificat a diffblue.com
- Youcheng SunLecturer, University of ManchesterCorreu electrònic verificat a manchester.ac.uk
- Philipp RuemmerProfessor in Computer Science, University of RegensburgCorreu electrònic verificat a ur.de
- Vijay D'SilvaGoogle Inc.Correu electrònic verificat a google.com
- Cristina DavidUniversity of BristolCorreu electrònic verificat a bristol.ac.uk
- Martin BrainCity, University of LondonCorreu electrònic verificat a city.ac.uk
- Alastair DonaldsonImperial College LondonCorreu electrònic verificat a imperial.ac.uk
- Leopold HallerGoogleCorreu electrònic verificat a google.com
- Pascal KesseliDiffblue Ltd.Correu electrònic verificat a diffblue.com
- Hana ChocklerKing's College LondonCorreu electrònic verificat a kcl.ac.uk
- Christoph M. WintersteigerImandraCorreu electrònic verificat a imandra.ai
- Alexander KaiserUniversity of OxfordCorreu electrònic verificat a cs.ox.ac.uk