Crea el meu perfil
Accés públic
Mostra-ho tot13 articles
1 article
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Daniel KroeningAmazonCorreu electrònic verificat a amazon.com
- Michael TautschnigQueen Mary University of LondonCorreu electrònic verificat a qmul.ac.uk
- Martin BrainCity, University of LondonCorreu electrònic verificat a city.ac.uk
- Lucas C. CordeiroReader, Dept of Computer Science, University of ManchesterCorreu electrònic verificat a manchester.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordCorreu electrònic verificat a cs.ox.ac.uk
- Cristina DavidUniversity of BristolCorreu electrònic verificat a bristol.ac.uk
- Tomas VojnarFIT, Brno University of TechnologyCorreu electrònic verificat a fit.vutbr.cz
- Viktor MalikPhD. student, Brno University of TechnlogyCorreu electrònic verificat a fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKCorreu electrònic verificat a cs.ox.ac.uk
- Pascal KesseliDiffblue Ltd.Correu electrònic verificat a diffblue.com
- Saurabh JoshiSupraOraclesCorreu electrònic verificat a cse.iith.ac.in
- Ruben MartinsCarnegie Mellon UniversityCorreu electrònic verificat a cs.cmu.edu
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGCorreu electrònic verificat a btc-es.de
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderCorreu electrònic verificat a colorado.edu
- Laure GonnordUniversity of Lyon - LIPCorreu electrònic verificat a ens-lyon.fr
- Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyCorreu electrònic verificat a unimol.it
- Bernd FischerComputer Science Division, Stellenbosch UniversityCorreu electrònic verificat a cs.sun.ac.za
- Salvatore La TorreUniversità degli Studi di SalernoCorreu electrònic verificat a unisa.it
- David MonniauxResearcher in computer science, CNRS, VERIMAGCorreu electrònic verificat a univ-grenoble-alpes.fr
- RAJDEEP MUKHERJEEAmazonCorreu electrònic verificat a amazon.com
Segueix
Peter Schrammel
Diffblue Ltd & Lecturer in Computer Science, University of Sussex
Correu electrònic verificat a diffblue.com - Pàgina d'inici