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 Carlos
Tipo de tesis:
Tesis de Licenciatura
Entidad presentadora de examen profesional:
Facultad de Ciencias
Entidades por adscripción en la UNAM:
Facultad de Ciencias;