SISTEMA INTEGRAL DE INFORMACIÓN ACADÉMICA - PÚBLICO
Verificación formal del cálculo ?SF en Coq
Sinodales: FAVIO EZEQUIEL MIRANDA PEREA;
Autores: Torres Ruiz, Mateo AlbertoTipo de tesis: Tesis de LicenciaturaEntidad presentadora de examen profesional: Facultad de IngenieríaEntidades por adscripción en la UNAM:
Facultad de Ciencias;