Marques, Caio Alberto Nunes, Maria Adriana Ferreira da Silva, José Lucas Santana de Andrade, and Alysson Filgueira Milanez. “Linguagens E Ferramentas Utilizadas Na Especificação Formal de Software: Uma Revisão de Escopo”. Revista Principia 62 (February 6, 2025). Accessed November 12, 2026. https://periodicos.ifpb.edu.br/index.php/principia/article/view/8404.