Niño Velásquez , Edwin Andrés , trans. 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), March, 1-142. https://doi.org/10.15765/0xbryk38.