Ferrero, G. F. (2025). Construcción formal de programas asistida por Dafny. Web
Citación estilo ChicagoFerrero, Germán Francisco. Construcción Formal De Programas Asistida Por Dafny. 2025.
Cita MLAFerrero, Germán Francisco. Construcción Formal De Programas Asistida Por Dafny. 2025.
Precaución: Estas citas no son 100% exactas.