Cita APA

Luna, C. D. (2006). Enseñando métodos formales con COQ. Web

Citación estilo Chicago

Luna, Carlos Daniel. Enseñando Métodos Formales Con COQ. 2006.

Cita MLA

Luna, Carlos Daniel. Enseñando Métodos Formales Con COQ. 2006.

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