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