Browsing Cinvestav-GUADALAJARA by Author "Michel González, Adrián"
Now showing items 1-1 of 1
-
Verificación de una clase de especificaciones de seguridad en controladores de procedimientos
Michel González, Adrián (Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003)