Crea il mio profilo
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
Philipp RuemmerAssociate Professor (Docent) in Computer Science, Uppsala UniversityEmail verificata su it.uu.se
Vijay D'SilvaGoogle Inc.Email verificata su google.com
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexEmail verificata su sussex.ac.uk
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienEmail verificata su forsyte.tuwien.ac.at
Tom MelhamProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk
Alessandro AbateProfessor of Verification and Control, University of OxfordEmail verificata su cs.ox.ac.uk
Martin BrainUniversity of OxfordEmail verificata su cs.ox.ac.uk
Orna GrumbergProfessor of Computer Science, TechnionEmail verificata su cs.technion.ac.il
Cristina DavidUniversity of CambridgeEmail verificata su cam.ac.uk
Youcheng SunQueen's University BelfastEmail verificata su qub.ac.uk
Alastair DonaldsonImperial College LondonEmail verificata su imperial.ac.uk
Leopold HallerGoogleEmail verificata su google.com
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail verificata su mpi-sws.org
Christoph M. WintersteigerMicrosoft ResearchEmail verificata su microsoft.com