Seguridad de sistemas de tipos vía verificación de modelos

Sinodales:
DAVID ARTURO ROSENBLUETH LAGUETTE; FAVIO EZEQUIEL MIRANDA PEREA;
Autores:
Soto Romero, Manuel
Tipo de tesis:
Tesis de Maestría
Entidad presentadora de examen profesional:
Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas
Entidades por adscripción en la UNAM:
Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas; Facultad de Ciencias;