Založit si vlastní profil
Veřejný přístup
Zobrazit všechny13 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Daniel KroeningAmazonE-mailová adresa ověřena na: amazon.com
- Michael TautschnigQueen Mary University of LondonE-mailová adresa ověřena na: qmul.ac.uk
- Martin BrainCity, University of LondonE-mailová adresa ověřena na: city.ac.uk
- Lucas C. CordeiroReader, Dept of Computer Science, University of ManchesterE-mailová adresa ověřena na: manchester.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Cristina DavidUniversity of BristolE-mailová adresa ověřena na: bristol.ac.uk
- Tomas VojnarFIT, Brno University of TechnologyE-mailová adresa ověřena na: fit.vutbr.cz
- Viktor MalikPhD. student, Brno University of TechnlogyE-mailová adresa ověřena na: fit.vutbr.cz
- Pascal KesseliDiffblue Ltd.E-mailová adresa ověřena na: diffblue.com
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mailová adresa ověřena na: cs.ox.ac.uk
- Saurabh JoshiSupraOraclesE-mailová adresa ověřena na: cse.iith.ac.in
- Ruben MartinsCarnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGE-mailová adresa ověřena na: btc-es.de
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderE-mailová adresa ověřena na: colorado.edu
- Laure GonnordUniversity of Lyon - LIPE-mailová adresa ověřena na: ens-lyon.fr
- Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyE-mailová adresa ověřena na: unimol.it
- Bernd FischerComputer Science Division, Stellenbosch UniversityE-mailová adresa ověřena na: cs.sun.ac.za
- Salvatore La TorreUniversità degli Studi di SalernoE-mailová adresa ověřena na: unisa.it
- David MonniauxResearcher in computer science, CNRS, VERIMAGE-mailová adresa ověřena na: univ-grenoble-alpes.fr
- RAJDEEP MUKHERJEEAmazonE-mailová adresa ověřena na: amazon.com
Sledovat
Peter Schrammel
Diffblue Ltd & Lecturer in Computer Science, University of Sussex
E-mailová adresa ověřena na: diffblue.com - Domovská stránka