Marques, C.A.N., Silva, M.A.F. da, Andrade, J.L.S. de e Milanez, A.F. 2025. Linguagens e ferramentas utilizadas na especificação formal de software: uma revisão de escopo. Revista Principia. 62, (fev. 2025). DOI:https://doi.org/10.18265/2447-9187a2024id8404.