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.