Crea il mio profilo
Accesso pubblico
Visualizza tutto13 articoli
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Daniel KroeningAmazonEmail verificata su amazon.com
- Michael TautschnigQueen Mary University of LondonEmail verificata su qmul.ac.uk
- Martin BrainCity, University of LondonEmail verificata su city.ac.uk
- Lucas C. CordeiroReader, Dept of Computer Science, University of ManchesterEmail verificata su manchester.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk
- Cristina DavidUniversity of BristolEmail verificata su bristol.ac.uk
- Tomas VojnarFIT, Brno University of TechnologyEmail verificata su fit.vutbr.cz
- Viktor MalikPhD. student, Brno University of TechnlogyEmail verificata su fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail verificata su cs.ox.ac.uk
- Pascal KesseliDiffblue Ltd.Email verificata su diffblue.com
- Saurabh JoshiSupraOraclesEmail verificata su cse.iith.ac.in
- Ruben MartinsCarnegie Mellon UniversityEmail verificata su cs.cmu.edu
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGEmail verificata su btc-es.de
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderEmail verificata su colorado.edu
- Laure GonnordUniversity of Lyon - LIPEmail verificata su ens-lyon.fr
- Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyEmail verificata su unimol.it
- Bernd FischerComputer Science Division, Stellenbosch UniversityEmail verificata su cs.sun.ac.za
- Salvatore La TorreUniversità degli Studi di SalernoEmail verificata su unisa.it
- David MonniauxResearcher in computer science, CNRS, VERIMAGEmail verificata su univ-grenoble-alpes.fr
- RAJDEEP MUKHERJEEAmazonEmail verificata su amazon.com