Fachbereich: Sistemas Informáticos y Computación

Fakultät: Informática

Bereich: Computersprachen und Computersysteme

Forschungsgruppe: Design and Testing of Reliable Systems

Email: spickin@ucm.es