Area: Computer Languages and Systems

Research group: FADOSS Diseño y análisis formal de sistemas de software

Doctor by the Universidad Complutense de Madrid with the thesis En busca del tiempo perdido 1990. Supervised by Dr. David de Frutos Escrig.

Has been a member of...