Mijn eigen profiel maken
Openbare toegang
Alles bekijken62 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
Tom MelhamProfessor of Computer Science, University of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKGeverifieerd e-mailadres voor cs.ox.ac.uk
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexGeverifieerd e-mailadres voor diffblue.com
Youcheng SunLecturer, University of ManchesterGeverifieerd e-mailadres voor manchester.ac.uk
Philipp RuemmerProfessor in Computer Science, University of RegensburgGeverifieerd e-mailadres voor ur.de
Vijay D'SilvaGoogle Inc.Geverifieerd e-mailadres voor google.com
Cristina DavidUniversity of BristolGeverifieerd e-mailadres voor bristol.ac.uk
Martin BrainCity, University of LondonGeverifieerd e-mailadres voor city.ac.uk
Alastair DonaldsonImperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
Pascal KesseliDiffblue Ltd.Geverifieerd e-mailadres voor diffblue.com
Leopold HallerGoogleGeverifieerd e-mailadres voor google.com
Hana ChocklerKing's College LondonGeverifieerd e-mailadres voor kcl.ac.uk
Christoph M. WintersteigerMicrosoft ResearchGeverifieerd e-mailadres voor microsoft.com
Alexander KaiserUniversity of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk