Buscar por Sustentante Zúñiga Chávez, Ángel Francisco
Mostrando resultados 1 a 2 de 2
Vista previa | Título | Sustentante | Fecha de publicación |
---|---|---|---|
Semántica natural como marco de verificación de compiladores en Coq | Zúñiga Chávez, Ángel Francisco | 2021 | |
Un compilador correcto verificado de mini-ml a la máquina SECD en Coq | Zúñiga Chávez, Ángel Francisco | 2016 |