Département: Lenguajes y Sistemas Informáticos

Centre: Facultad de Informática

Campus: Gipuzkoa

Domaine de connaissance: Ingenieria y Arquitectura

Domaine: Lenguajes y Sistemas Informáticos

Docteur/e à l Universitat Politècnica de Catalunya (UPC) avec la thèse Técnicas de reescritura para especificaciones condicionales 1987.