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;