MANUEL
GARCÍA CLAVEL
Forschungsgruppe: Diseño y análisis formal de sistemas de software
Doktor von der Universidad de Navarra mit der Dissertation Reflection in general logics and in rewriting logic with applications to the maude languaje 1998. unter der Leitung von Dr. José Meseguer Guaita.