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