Department: Sistemas Informáticos y Computación

Faculty: Informática

Universidad: Complutense University of Madrid

Area: Computer Languages and Systems

Research group: Design and Testing of Reliable Systems

Email: soesteve@ucm.es