Suaza Jiménez, J.H. y 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 (nov. 2019), 119–136. DOI:https://doi.org/10.22395/rium.v19n37a6.