CCMini

Título:

CCMini: A prototype of certifying compiler based on annotated abstract syntax trees

Nombre personal (NR):

Baum, Gabriel Alfredo

Articulo de: 

CACIC 2004 [CD-ROM] / Congreso Argentino de Ciencias de la Computación (10º : 2004 : La Matanza) / Edición: 1a ed. (2004) (Libro)

Puede solicitar más fácilmente el ejemplar con: CD 234