Skapa en profil
Offentlig åtkomst
Visa alla13 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Daniel KroeningAmazonVerifierad e-postadress på amazon.com
- Michael TautschnigQueen Mary University of LondonVerifierad e-postadress på qmul.ac.uk
- Martin BrainCity, University of LondonVerifierad e-postadress på city.ac.uk
- Lucas C. CordeiroReader, Dept of Computer Science, University of ManchesterVerifierad e-postadress på manchester.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordVerifierad e-postadress på cs.ox.ac.uk
- Cristina DavidUniversity of BristolVerifierad e-postadress på bristol.ac.uk
- Tomas VojnarFIT, Brno University of TechnologyVerifierad e-postadress på fit.vutbr.cz
- Viktor MalikPhD. student, Brno University of TechnlogyVerifierad e-postadress på fit.vutbr.cz
- Pascal KesseliDiffblue Ltd.Verifierad e-postadress på diffblue.com
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerifierad e-postadress på cs.ox.ac.uk
- Saurabh JoshiSupraOraclesVerifierad e-postadress på cse.iith.ac.in
- Ruben MartinsCarnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGVerifierad e-postadress på btc-es.de
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerifierad e-postadress på colorado.edu
- Laure GonnordUniversity of Lyon - LIPVerifierad e-postadress på ens-lyon.fr
- Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyVerifierad e-postadress på unimol.it
- Bernd FischerComputer Science Division, Stellenbosch UniversityVerifierad e-postadress på cs.sun.ac.za
- Salvatore La TorreUniversità degli Studi di SalernoVerifierad e-postadress på unisa.it
- David MonniauxResearcher in computer science, CNRS, VERIMAGVerifierad e-postadress på univ-grenoble-alpes.fr
- RAJDEEP MUKHERJEEAmazonVerifierad e-postadress på amazon.com