Álvez, J. (2015). Especificación, verificación y derivación formal de programas. Pearson.
Cita Chicago Style (17a ed.)Álvez, Javier. Especificación, Verificación Y Derivación Formal De Programas. Madrid: Pearson, 2015.
Cita MLA (9a ed.)Álvez, Javier. Especificación, Verificación Y Derivación Formal De Programas. Pearson, 2015.
Precaución: Estas citas no son 100% exactas.
