Silva Ramírez, E. L., & Lopez Coello, M. (2017). Corrección de algoritmos complejos: Verificación formal. Cádiz: Universidad de Cádiz.
Citación estilo ChicagoSilva Ramírez, Esther Lydia., and Manuel Lopez Coello. Corrección De Algoritmos Complejos: Verificación Formal. Cádiz: Universidad de Cádiz, 2017.
Cita MLASilva Ramírez, Esther Lydia., and Manuel Lopez Coello. Corrección De Algoritmos Complejos: Verificación Formal. Cádiz: Universidad de Cádiz, 2017.
Precaución: Estas citas no son 100% exactas.