Suaza Jiménez JH, Lora Patiño GA. Process and evolution of formal methods in requirements engineering. rev.ing.univ.Medellin [Internet]. 2019 Nov. 26 [cited 2024 Nov. 13];19(37):119-36. Available from: https://revistas.udem.edu.co/index.php/ingenierias/article/view/3020