Style de citation APA (7e éd.)

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

Style de citation Chicago (17e éd.)

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

Style de citation MLA (8e éd.)

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