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 (janeiro 15, 2025). Acessado fevereiro 5, 2025. https://periodicos.ifpb.edu.br/index.php/principia/article/view/8404.