Department: Lenguajes y Sistemas Informáticos

Centre: Facultad de Informática

Campus: Gipuzkoa

Field of knowledge: Ingenieria y Arquitectura

Area: Computer Languages and Systems

Doctor by the Universitat Politècnica de Catalunya (UPC) with the thesis Técnicas de reescritura para especificaciones condicionales 1987.