Suaza Jiménez, Jorge Hernán, y Gloria Amparo Lora Patiño. «Proceso Y evolución De Los métodos Formales En La ingeniería De Requisitos». Revista Ingenierías Universidad de Medellín 19, no. 37 (noviembre 26, 2019): 119–136. Accedido junio 21, 2026. https://revistas.udem.edu.co/index.php/ingenierias/article/view/3020.