MANUEL
GARCÍA CLAVEL
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.