TY  - GEN
AU  - Baum,Gabriel Alfredo
TI  - CCMini: A prototype of certifying compiler based on annotated abstract syntax trees
ER  -