Založit si vlastní profil
Veřejný přístup
Zobrazit všechny3 články
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Jeremy GibbonsProfessor of Computing, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Einar Broch JohnsenProfessor, University of OsloE-mailová adresa ověřena na: ifi.uio.no
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtE-mailová adresa ověřena na: cs.tu-darmstadt.de
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mailová adresa ověřena na: cwi.nl
- Elvira AlbertComplutense University of SpainE-mailová adresa ověřena na: sip.ucm.es
- Ina SchaeferKarlsruhe Institute of Technology (KIT)E-mailová adresa ověřena na: kit.edu
- Stijn de GouwAssistant Professor, Open University, The NetherlandsE-mailová adresa ověřena na: ou.nl
- Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloE-mailová adresa ověřena na: ifi.uio.no
- Radu MuscheviciTU DarmstadtE-mailová adresa ověřena na: cs.tu-darmstadt.de
- Dave ClarkeIndependentE-mailová adresa ověřena na: storytel.com
- Muddassar Azam SindhuAssociate Professor, Computer Science Department, Quaid i Azam University, IslamabadE-mailová adresa ověřena na: qau.edu.pk
- Karl MeinkeProfessor of Computer Science KTH Royal Institute of TechnologyE-mailová adresa ověřena na: kth.se
- Miguel Gómez-ZamalloaAssociate Professor of Computer Science, Complutense University of MadridE-mailová adresa ověřena na: fdi.ucm.es
- Michiel HelvensteijnSoftware Engineer at MetaE-mailová adresa ověřena na: meta.com
- Jose ProencaCISTER - ISEPE-mailová adresa ověřena na: proenca.org
- carlo augusto graziaTenure-Track Assistant Professor, University of Modena and Reggio EmiliaE-mailová adresa ověřena na: unimore.it
- Cosimo LaneveProfessor of Computer Science, University of BolognaE-mailová adresa ověřena na: unibo.it
- Lei FengAssociate Professor, KTH Royal Institute of TechnologyE-mailová adresa ověřena na: kth.se
- Puri ArenasAssociate ProfessorE-mailová adresa ověřena na: sip.ucm.es
- Richard BubelDepartment of Computer Science, TU DarmstadtE-mailová adresa ověřena na: cs.tu-darmstadt.de