Groupe de recherche: Diseño y análisis formal de sistemas de software

Docteur à l Universidad de Navarra avec la thèse Reflection in general logics and in rewriting logic with applications to the maude languaje 1998. Dirigée par Dr/a. José Meseguer Guaita.