Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 141 | 141 |
indice h | 7 | 7 |
indice i10 | 5 | 5 |
Accès public
Tout afficher5 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Michael O'BoyleProfessor of Computer Science, University of EdinburghAdresse e-mail validée de inf.ed.ac.uk
- Jordi Armengol-EstapéUniversity of EdinburghAdresse e-mail validée de ed.ac.uk
- Noa ZilbermanUniversity of OxfordAdresse e-mail validée de eng.ox.ac.uk
- Bruce CollieCompiler Engineer, Runtime VerificationAdresse e-mail validée de runtimeverification.com
- Murali RamanujamPrinceton UniversityAdresse e-mail validée de cs.princeton.edu
- Sam AinsworthAdresse e-mail validée de ed.ac.uk
- Chris WoodruffUniversity of Oxford, Department of International DevelopmentAdresse e-mail validée de qeh.ox.ac.uk