Založit si vlastní profil
Veřejný přístup
Zobrazit všechny127 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceE-mailová adresa ověřena na: glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkE-mailová adresa ověřena na: york.ac.uk
- Jeremy SprostonAssistant professor, University of TurinE-mailová adresa ověřena na: di.unito.it
- Luca LaurentiTU DelftE-mailová adresa ověřena na: tudelft.nl
- Luca CardelliUniversity of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Andrea PataneTrinity College DublinE-mailová adresa ověřena na: tcd.ie
- Vojtěch ForejtDifflblueE-mailová adresa ověřena na: diffblue.com
- Nicola PaolettiDepartment of Informatics, King's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonE-mailová adresa ověřena na: bbk.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolE-mailová adresa ověřena na: liverpool.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldE-mailová adresa ověřena na: sheffield.ac.uk
- Roberto SegalaUniversità di VeronaE-mailová adresa ověřena na: univr.it
- Christel BaierTU DresdenE-mailová adresa ověřena na: tu-dresden.de
- Min WuDepartment of Computer Science, Stanford UniversityE-mailová adresa ověřena na: stanford.edu
- Matthew WickerImperial College London & The Alan Turing InstituteE-mailová adresa ověřena na: imperial.ac.uk
- Alexandru MereacreNquiringminds LtdE-mailová adresa ověřena na: nquiringminds.com
- Milan CeskaBrno University of TechnologyE-mailová adresa ověřena na: fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mailová adresa ověřena na: cs.ox.ac.uk
- Frits DannenbergE-mailová adresa ověřena na: caltech.edu
Sledovat
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
E-mailová adresa ověřena na: comlab.ox.ac.uk - Domovská stránka