Crea il mio profilo
Accesso pubblico
Visualizza tutto62 articoli
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityEmail verificata su cs.cmu.edu
Ofer StrichmanTechnion, Haifa, IsraelEmail verificata su ie.technion.ac.il
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandEmail verificata su usi.ch
Georg WeissenbacherProfessor of Computer Science, TU WienEmail verificata su tuwien.ac.at
Thomas WahlNortheastern University, Boston, USAEmail verificata su northeastern.edu
Michael TautschnigQueen Mary University of LondonEmail verificata su qmul.ac.uk
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail verificata su cs.ox.ac.uk
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexEmail verificata su diffblue.com
Tom MelhamProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk
Youcheng SunLecturer, University of ManchesterEmail verificata su manchester.ac.uk
Philipp RuemmerProfessor in Computer Science, University of RegensburgEmail verificata su ur.de
Vijay D'SilvaGoogle Inc.Email verificata su google.com
Cristina DavidUniversity of BristolEmail verificata su bristol.ac.uk
Martin BrainCity, University of LondonEmail verificata su city.ac.uk
Alastair DonaldsonImperial College LondonEmail verificata su imperial.ac.uk
Pascal KesseliDiffblue Ltd.Email verificata su diffblue.com
Leopold HallerGoogleEmail verificata su google.com
Hana ChocklerKing's College LondonEmail verificata su kcl.ac.uk
Christoph M. WintersteigerMicrosoft ResearchEmail verificata su microsoft.com
Alexander KaiserUniversity of OxfordEmail verificata su cs.ox.ac.uk