Suaza Jiménez, J. H.; Lora Patiño, G. A. Process and Evolution of Formal Methods in Requirements Engineering. rev.ing.univ.Medellin 2019, 19 (37), 119-136. https://doi.org/10.22395/rium.v19n37a6.