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), pp. 119–136. doi:10.22395/rium.v19n37a6.