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]. 6 de fevereiro de 2025 [citado 12 de novembro de 2026];62. Disponível em: https://periodicos.ifpb.edu.br/index.php/principia/article/view/8404