Fachbereich: Sistemas Informáticos y Computación

Fakultät: Ciencias Matemáticas

Bereich: Computersprachen und Computersysteme

Forschungsgruppe: Diseño y análisis formal de sistemas de software

Doktorin von der Universidad Complutense de Madrid mit der Dissertation En busca del tiempo perdido 1990. unter der Leitung von Dr. David de Frutos Escrig.