![Foto de MARIA LUISA](/img/nophoto.png)
MARIA LUISA
NAVARRO GOMEZ
Researcher in the period 1990-2019
Thesis
-
Técnicas de reescritura para especificaciones condicionales 1987
Universitat Politècnica de Catalunya (UPC)
Supervised Theses (1)
-
Implementación de especificaciones algebraicas 1993
Universidad del País Vasco - Euskal Herriko Unibertsitatea
Theses Committees (3)
-
Secretary of the Committee
Learnability of some classes within the exact model 2002Universidad del País Vasco - Euskal Herriko Unibertsitatea
Lavín Puente, Víctor
-
Committee Member
Reescritura con restricciones de reemplazamiento 1998Universitat Politècnica de València
Lucas Alba, Salvador
-
Committee Member
Técnicas formales para el desarrollo jerárquico de sistemas concurrentes 1993Universidad del País Vasco - Euskal Herriko Unibertsitatea