Mijn eigen profiel maken
Openbare toegang
Alles bekijken58 artikelen
1 artikel
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
Ofer StrichmanTechnion, Haifa, IsraelGeverifieerd e-mailadres voor ie.technion.ac.il
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandGeverifieerd e-mailadres voor usi.ch
Georg WeissenbacherProfessor of Computer Science, TU WienGeverifieerd e-mailadres voor tuwien.ac.at
Thomas WahlNortheastern University, Boston, USAGeverifieerd e-mailadres voor northeastern.edu
Michael TautschnigQueen Mary University of LondonGeverifieerd e-mailadres voor qmul.ac.uk
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexGeverifieerd e-mailadres voor sussex.ac.uk
Tom MelhamProfessor of Computer Science, University of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
Alessandro AbateProfessor of Verification and Control, University of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
Philipp RuemmerProfessor in Computer Science, University of RegensburgGeverifieerd e-mailadres voor ur.de
Youcheng SunLecturer, University of ManchesterGeverifieerd e-mailadres voor manchester.ac.uk
Vijay D'SilvaGoogle Inc.Geverifieerd e-mailadres voor google.com
Martin BrainCity, University of LondonGeverifieerd e-mailadres voor city.ac.uk
Cristina DavidUniversity of BristolGeverifieerd e-mailadres voor bristol.ac.uk
Alastair DonaldsonImperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
Leopold HallerGoogleGeverifieerd e-mailadres voor google.com
Pascal KesseliDiffblue Ltd.Geverifieerd e-mailadres voor diffblue.com
Christoph M. WintersteigerMicrosoft ResearchGeverifieerd e-mailadres voor microsoft.com
Alexander KaiserUniversity of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusGeverifieerd e-mailadres voor mpi-sws.org