ADEBOWALE, A.; GOGA, N.; OLUWABUKOLA, O.; SAMUEL, A. Formal Methods in Information Security. INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY, [S. l.], v. 14, n. 4, p. 5621–5631, 2015. DOI: 10.24297/ijct.v14i4.1963. Disponível em: https://rajpub.com/index.php/ijct/article/view/1963ijct. Acesso em: 29 apr. 2024.