SUAZA JIMÉNEZ, Jorge Hernán; LORA PATIÑO, Gloria Amparo. Process and evolution of formal methods in requirements engineering. Revista Ingenierías Universidad de Medellín, [S. l.], v. 19, n. 37, p. 119–136, 2019. DOI: 10.22395/rium.v19n37a6. Disponível em: https://revistas.udem.edu.co/index.php/ingenierias/article/view/3020. Acesso em: 13 nov. 2024.