Department: Sistemas Informáticos y Computación

Area: Computer Languages and Systems

Research group: Design and Testing of Reliable Systems

Email: mibeni01@ucm.es