Suaza Jiménez, J.H. and Lora Patiño, G.A. 2019. Process and evolution of formal methods in requirements engineering. Revista Ingenierías Universidad de Medellín. 19, 37 (Nov. 2019), 119–136. DOI:https://doi.org/10.22395/rium.v19n37a6.