Suaza Jiménez, J. H., & Lora Patiño, G. A. (2019). Proceso y evolución de los métodos formales en la ingeniería de requisitos. Revista Ingenierías Universidad De Medellín, 19(37), 119-136. https://doi.org/10.22395/rium.v19n37a6