Fachbereich: Lenguajes y Sistemas Informáticos

Zentrum: Facultad de Informática

Campus: Gipuzkoa

Wissensbereich: Ingenieria y Arquitectura

Bereich: Computersprachen und Computersysteme

Doktor von der Universidad del País Vasco - Euskal Herriko Unibertsitatea mit der Dissertation Técnicas formales para el desarrollo jerárquico de sistemas concurrentes 1993. unter der Leitung von Dr. Ricardo Peña Marí.