MANUEL
GARCÍA CLAVEL
Grup d'investigació: Diseño y análisis formal de sistemas de software
Doctor per la Universidad de Navarra amb la tesi Reflection in general logics and in rewriting logic with applications to the maude languaje 1998. Dirigida per Dr/a. José Meseguer Guaita.