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 Universidad del País Vasco - Euskal Herriko Unibertsitatea with the thesis Técnicas formales para el desarrollo jerárquico de sistemas concurrentes 1993. Supervised by Dr. Ricardo Peña Marí.