Cita APA

Ferrero, G. F. (2025). Construcción formal de programas asistida por Dafny. Web

Citación estilo Chicago

Ferrero, Germán Francisco. Construcción Formal De Programas Asistida Por Dafny. 2025.

Cita MLA

Ferrero, Germán Francisco. Construcción Formal De Programas Asistida Por Dafny. 2025.

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