Cita APA

Luna, C. D. (2004). Taller de especificación, construcción y verificación formales de programas: Propuesta y experiencias. Web

Citación estilo Chicago

Luna, Carlos Daniel. Taller De Especificación, Construcción Y Verificación Formales De Programas: Propuesta Y Experiencias. 2004.

Cita MLA

Luna, Carlos Daniel. Taller De Especificación, Construcción Y Verificación Formales De Programas: Propuesta Y Experiencias. 2004.

Precaución: Estas citas no son 100% exactas.