MARIA LUISA
NAVARRO GOMEZ
Ikertzaileren 1990-2019 tartean
Doktorego-tesia
-
Técnicas de reescritura para especificaciones condicionales 1987
Universitat Politècnica de Catalunya (UPC)
Zuzendutako tesiak (1)
-
Implementación de especificaciones algebraicas 1993
Universidad del País Vasco - Euskal Herriko Unibertsitatea
Tesi epaimahaiak (3)
-
Epaimahaiko Secretario/a
Learnability of some classes within the exact model 2002Universidad del País Vasco - Euskal Herriko Unibertsitatea
Lavín Puente, Víctor
-
Epaimahaikidea
Reescritura con restricciones de reemplazamiento 1998Universitat Politècnica de València
Lucas Alba, Salvador
-
Epaimahaikidea
Técnicas formales para el desarrollo jerárquico de sistemas concurrentes 1993Universidad del País Vasco - Euskal Herriko Unibertsitatea