MARIA LUISA
NAVARRO GOMEZ
Investigador/a en el periodo 1990-2019
Tesis doctoral
-
Técnicas de reescritura para especificaciones condicionales 1987
Universitat Politècnica de Catalunya (UPC)
Tesis dirigidas (1)
-
Implementación de especificaciones algebraicas 1993
Universidad del País Vasco - Euskal Herriko Unibertsitatea
Tribunales de tesis (3)
-
Secretario/a del tribunal
Learnability of some classes within the exact model 2002Universidad del País Vasco - Euskal Herriko Unibertsitatea
Lavín Puente, Víctor
-
Vocal del tribunal
Reescritura con restricciones de reemplazamiento 1998Universitat Politècnica de València
Lucas Alba, Salvador
-
Vocal del tribunal
Técnicas formales para el desarrollo jerárquico de sistemas concurrentes 1993Universidad del País Vasco - Euskal Herriko Unibertsitatea