SUAZA JIMÉNEZ, J. H.; LORA PATIÑO, G. A. Process and evolution of formal methods in requirements engineering. Revista Ingenierías Universidad de Medellín, v. 19, n. 37, p. 119-136, 26 Nov. 2019.