SONIA C-I CHEN, . J. Y. X. T. C. L. . A Novel Mathematical Formal Proof in Zhang-Wang’s Cryptographic Algorithm. CONVERTER, [S. l.], p. 449-458, 2021. DOI: 10.17762/converter.143. Disponível em: https://converter-magazine.info/index.php/converter/article/view/143. Acesso em: 29 apr. 2024.