Marques, C.A.N. et al. (2025) “Linguagens e ferramentas utilizadas na especificação formal de software: uma revisão de escopo”, Revista Principia, 62. doi:10.18265/2447-9187a2024id8404.