Marques, Caio Alberto Nunes, Maria Adriana Ferreira da Silva, José Lucas Santana de Andrade, e Alysson Filgueira Milanez. “Linguagens e ferramentas utilizadas na especificação formal de software: uma revisão de escopo”. Revista Principia 62 (fevereiro 6, 2025). Acesso em novembro 12, 2026. https://periodicos.ifpb.edu.br/index.php/principia/article/view/8404.