SISTEMA INTEGRAL DE INFORMACIÓN ACADÉMICA - PÚBLICO
Métodos formales ligeros : especificación de un sistema de correo electrónico en el analizador Alloy
Sinodales: FAVIO EZEQUIEL MIRANDA PEREA;
Autores: Cortés Ortiz, Juan CarlosTipo de tesis: Tesis de LicenciaturaEntidad presentadora de examen profesional: Facultad de CienciasEntidades por adscripción en la UNAM:
Facultad de Ciencias;