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: 3 jul. 2024.