APA Citation

Silva Ramírez, E. L., & López Coello, M. (2018). Verificación formal de algoritmos: Ejercicios resueltos. Cádiz: Universidad de Cádiz.

Chicago Style Citation

Silva Ramírez, Esther Lydia., and Manuel López Coello. Verificación Formal De Algoritmos: Ejercicios Resueltos. Cádiz: Universidad de Cádiz, 2018.

MLA Citation

Silva Ramírez, Esther Lydia., and Manuel López Coello. Verificación Formal De Algoritmos: Ejercicios Resueltos. Cádiz: Universidad de Cádiz, 2018.

Warning: These citations may not always be 100% accurate.