Mijn eigen profiel maken
Openbare toegang
Alles bekijken5 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Michael O'BoyleProfessor of Computer Science, University of EdinburghGeverifieerd e-mailadres voor inf.ed.ac.uk
- Jordi Armengol-EstapéUniversity of EdinburghGeverifieerd e-mailadres voor ed.ac.uk
- Noa ZilbermanUniversity of OxfordGeverifieerd e-mailadres voor eng.ox.ac.uk
- Bruce CollieCompiler Engineer, Runtime VerificationGeverifieerd e-mailadres voor runtimeverification.com
- Murali RamanujamPrinceton UniversityGeverifieerd e-mailadres voor cs.princeton.edu
- Sam AinsworthGeverifieerd e-mailadres voor ed.ac.uk
- Chris WoodruffUniversity of Oxford, Department of International DevelopmentGeverifieerd e-mailadres voor qeh.ox.ac.uk