Suaza Jiménez, Jorge Hernán, and Gloria Amparo Lora Patiño. “Process and Evolution of Formal Methods in Requirements Engineering”. Revista Ingenierías Universidad de Medellín 19, no. 37 (November 26, 2019): 119-136. Accessed April 26, 2024. https://revistas.udem.edu.co/index.php/ingenierias/article/view/3020.