Suaza Jiménez JH, Lora Patiño GA. Proceso y evolución de los métodos formales en la ingeniería de requisitos. rev.ing.univ.Medellin. 2019;19(37):119-136. doi:10.22395/rium.v19n37a6