Suaza Jiménez JH, Lora Patiño GA. Proceso y evolución de los métodos formales en la ingeniería de requisitos. rev.ing.univ.Medellin [Internet]. 26 de noviembre de 2019 [citado 21 de junio de 2026];19(37):119-36. Disponible en: https://revistas.udem.edu.co/index.php/ingenierias/article/view/3020