Department: Sistemas Informáticos y Computación

Faculty: Informática

Area: Computer Languages and Systems

Research group: Design and Testing of Reliable Systems

Email: soesteve@ucm.es