Browsing Computación by Author "Arenas Yerena, Carlos Dario"
Now showing items 1-1 of 1
-
Generación y uso de abstracciones en la comprobación de modelos simbólica
Arenas Yerena, Carlos Dario (Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009)