Citace podle APA (7th ed.)

Silva Ramírez, E. L., & Lopez Coello, M. (2017). Corrección de algoritmos complejos: Verificación formal. Universidad de Cádiz.

Citace podle Chicago (17th ed.)

Silva Ramírez, Esther Lydia, a Manuel Lopez Coello. Corrección De Algoritmos Complejos: Verificación Formal. Cádiz: Universidad de Cádiz, 2017.

Citace podle MLA (9th ed.)

Silva Ramírez, Esther Lydia, a Manuel Lopez Coello. Corrección De Algoritmos Complejos: Verificación Formal. Universidad de Cádiz, 2017.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..