Niño Velásquez , E.A. (tran.) (2024) “Una Introducción al Análisis y la Verificación de Algoritmos : Área: Análisis y Verificación de Algoritmos”, Libros interactivos multimedia (MI-Books), pp. 1–142. Available at: https://revistas.poligran.edu.co/index.php/mi-books/article/view/4127 (Accessed: 5 June 2025).