SISTEMA INTEGRAL DE INFORMACIÓN ACADÉMICA - PÚBLICO
Semántica natural como marco de verificación de compiladores en Coq
Sinodales:
GEMMA BEL ENGUIX
;
GERARDO EUGENIO SIERRA MARTINEZ
;
Autores:
Zúñiga Chávez, Ángel Francisco
Tipo de tesis:
Tesis de Doctorado
Entidad presentadora de examen profesional:
Coordinación de Estudios de Posgrado
Entidades por adscripción en la UNAM:
Instituto de Ingeniería; Instituto de Ingeniería;
Fuente:
Tipo de producto:
TESIS
URL:
Ver tesis