Cita APA (7a ed.)
Silva Ramírez, E. L., & López Coello, M. (2018). Verificación formal de algoritmos: Ejercicios resueltos. Universidad de Cádiz.
Cita Chicago Style (17a ed.)
Silva Ramírez, Esther Lydia, y Manuel López Coello. Verificación Formal De Algoritmos: Ejercicios Resueltos. Cádiz: Universidad de Cádiz, 2018.
Cita MLA (9a ed.)
Silva Ramírez, Esther Lydia, y Manuel López Coello. Verificación Formal De Algoritmos: Ejercicios Resueltos. Universidad de Cádiz, 2018.
Precaución: Estas citas no son 100% exactas.