MARIA LUISA
NAVARRO GOMEZ
Chercheur/Chercheuse/a dans le période 1990-2019
Thèse de doctorat
-
Técnicas de reescritura para especificaciones condicionales 1987
Universitat Politècnica de Catalunya (UPC)
Thèses dirigées (1)
-
Implementación de especificaciones algebraicas 1993
Universidad del País Vasco - Euskal Herriko Unibertsitatea
Jurys de thèses (3)
-
Un/e secrètaire du jury
Learnability of some classes within the exact model 2002Universidad del País Vasco - Euskal Herriko Unibertsitatea
Lavín Puente, Víctor
-
Rapporteur du jury
Reescritura con restricciones de reemplazamiento 1998Universitat Politècnica de València
Lucas Alba, Salvador
-
Rapporteur du jury
Técnicas formales para el desarrollo jerárquico de sistemas concurrentes 1993Universidad del País Vasco - Euskal Herriko Unibertsitatea