Bavera, F., Nordio, M., Medel, R., Aguirre, J., & Baum, G. A. (2005). CCMini: A prototype of certifying compiler based on annotated abstract syntax trees. Web
Citación estilo ChicagoBavera, Francisco, Martín Nordio, Ricardo Medel, Jorge Aguirre, and Gabriel Alfredo Baum. CCMini: A Prototype of Certifying Compiler Based On Annotated Abstract Syntax Trees. 2005.
Cita MLABavera, Francisco, et al. CCMini: A Prototype of Certifying Compiler Based On Annotated Abstract Syntax Trees. 2005.
Precaución: Estas citas no son 100% exactas.