Sonia C-I Chen, . J. Y. X. T. C. L. . (2021). A Novel Mathematical Formal Proof in Zhang-Wang’s Cryptographic Algorithm. CONVERTER, 449-458. https://doi.org/10.17762/converter.143