Gunther, E., & Pagano, M. M. (2019). Formalización de fundaciones de la matemática y compiladores correctos por construcción.
Cita Chicago Style (17a ed.)Gunther, Emmanuel, y Miguel María Pagano. Formalización De Fundaciones De La Matemática Y Compiladores Correctos Por Construcción. 2019.
Cita MLA (8a ed.)Gunther, Emmanuel, y Miguel María Pagano. Formalización De Fundaciones De La Matemática Y Compiladores Correctos Por Construcción. 2019.
Precaución: Estas citas no son 100% exactas.