SISTEMA INTEGRAL DE INFORMACIÓN ACADÉMICA - PÚBLICO
Seguridad de sistemas de tipos vía verificación de modelos
Sinodales: DAVID ARTURO ROSENBLUETH LAGUETTE;
FAVIO EZEQUIEL MIRANDA PEREA;
Autores: Soto Romero, ManuelTipo de tesis: Tesis de MaestríaEntidad presentadora de examen profesional: Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasEntidades por adscripción en la UNAM:
Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas; Facultad de Ciencias;