Marques, C. A. N.; Silva, M. A. F. da; Andrade, J. L. S. de; Milanez, A. F. Linguagens E Ferramentas Utilizadas Na especificação Formal De Software: Uma revisão De Escopo. Rev. Principia 2025, 62.