Semántica natural como marco de verificación de compiladores en Coq

Detalles Bibliográficos
Autor principal:	Zúñiga Chávez, Ángel Francisco
Otras Contribuciones:	Sierra Martínez, Gerardo Eugenio (Asesor), Bel Enguix, Gemma (Asesor)
Formato:	Tesis de doctorado
Publicado:	MX 2021
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000812770 http://132.248.9.195/ptd2021/junio/0812770/Index.html

Ejemplares similares