MARIA LUISA
NAVARRO GOMEZ
Forscher/in in der Zeit 1990-2019
Dissertation
-
Técnicas de reescritura para especificaciones condicionales 1987
Universitat Politècnica de Catalunya (UPC)
Dissertationen geleitet (1)
-
Implementación de especificaciones algebraicas 1993
Universidad del País Vasco - Euskal Herriko Unibertsitatea
Gerichte für Dissertationen (3)
-
Sekretär/in des Gerichts
Learnability of some classes within the exact model 2002Universidad del País Vasco - Euskal Herriko Unibertsitatea
Lavín Puente, Víctor
-
Vokal des Gerichts
Reescritura con restricciones de reemplazamiento 1998Universitat Politècnica de València
Lucas Alba, Salvador
-
Vokal des Gerichts
Técnicas formales para el desarrollo jerárquico de sistemas concurrentes 1993Universidad del País Vasco - Euskal Herriko Unibertsitatea