Fachbereich: Lenguajes y Sistemas Informáticos

Zentrum: Facultad de Informática

Campus: Gipuzkoa

Wissensbereich: Ingenieria y Arquitectura

Bereich: Computersprachen und Computersysteme

Doktor von der Universitat Politècnica de Catalunya (UPC) mit der Dissertation Técnicas de reescritura para especificaciones condicionales 1987.