Luna, C. D. (2004). Taller de especificación, construcción y verificación formales de programas: Propuesta y experiencias.
Cita Chicago Style (17a ed.)Luna, Carlos Daniel. Taller De Especificación, Construcción Y Verificación Formales De Programas: Propuesta Y Experiencias. 2004.
Cita MLA (8a ed.)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.