Marques, Caio Alberto Nunes, Maria Adriana Ferreira da Silva, José Lucas Santana de Andrade, and Alysson Filgueira Milanez. 2025. “Linguagens E Ferramentas Utilizadas Na Especificação Formal de Software: Uma Revisão de Escopo”. Revista Principia 62 (February). https://doi.org/10.18265/2447-9187a2024id8404.