Založit si vlastní profil
Veřejný přístup
Zobrazit všechny2 články
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Ina SchaeferKarlsruhe Institute of Technology (KIT)E-mailová adresa ověřena na: kit.edu
- Dave ClarkeIndependentE-mailová adresa ověřena na: storytel.com
- Peter Y. H. WongPreneticsE-mailová adresa ověřena na: wolfson.oxon.org
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtE-mailová adresa ověřena na: cs.tu-darmstadt.de
- Radu MuscheviciTU DarmstadtE-mailová adresa ověřena na: cs.tu-darmstadt.de
- Stijn de GouwAssistant Professor, Open University, The NetherlandsE-mailová adresa ověřena na: ou.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mailová adresa ověřena na: cwi.nl
- Joost WinterUniversity of WarsawE-mailová adresa ověřena na: mimuw.edu.pl