Buscar por Sustentante Zúñiga Chávez, Ángel Francisco
Mostrando resultados 2 a 2 de 2
< Anterior
Vista previa | Título | Sustentante | Fecha de publicación |
---|---|---|---|
Un compilador correcto verificado de mini-ml a la máquina SECD en Coq | Zúñiga Chávez, Ángel Francisco | 2016 |