Marques CAN, Silva MAF da, Andrade JLS de, Milanez AF. Linguagens e ferramentas utilizadas na especificação formal de software: uma revisão de escopo. Rev. Principia [Internet]. 2025 Feb. 6 [cited 2026 Nov. 12];62. Available from: https://periodicos.ifpb.edu.br/index.php/principia/article/view/8404