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