Crea il mio profilo
Accesso pubblico
Visualizza tutto2 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Ina SchaeferKarlsruhe Institute of Technology (KIT)Email verificata su kit.edu
- Dave ClarkeIndependentEmail verificata su storytel.com
- Peter Y. H. WongPreneticsEmail verificata su wolfson.oxon.org
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtEmail verificata su cs.tu-darmstadt.de
- Radu MuscheviciTU DarmstadtEmail verificata su cs.tu-darmstadt.de
- Stijn de GouwAssistant Professor, Open University, The NetherlandsEmail verificata su ou.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email verificata su cwi.nl
- Joost WinterUniversity of WarsawEmail verificata su mimuw.edu.pl