Listar Computación por autor "Michel González, Adrián"
Mostrando ítems 1-1 de 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)