Luna, C. D. Enseñando Métodos Formales con Coq. WICC 2001 San Luis [CD-ROM], Workshop de Investigadores en Ciencias de la Computación (3er : 2001 : San Luis) - Universidad Nacional de San Luis - Red de Universidades Nacionales con Carreras en Informática (RedUNCI), .
Cita Chicago Style (17a ed.)Luna, Carlos Daniel. "Enseñando Métodos Formales Con Coq." WICC 2001 San Luis [CD-ROM] Workshop de Investigadores en Ciencias de la Computación (3er : 2001 : San Luis) - Universidad Nacional de San Luis - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) ().
Cita MLA (9a ed.)Luna, Carlos Daniel. "Enseñando Métodos Formales Con Coq." WICC 2001 San Luis [CD-ROM], Workshop de Investigadores en Ciencias de la Computación (3er : 2001 : San Luis) - Universidad Nacional de San Luis - Red de Universidades Nacionales con Carreras en Informática (RedUNCI), .