Article citations

Download citation

A Unified Strategy for Formal Derivation and Proof of Binary Tree Nonrecursive Algorithms

Zhengkang ZUO, Zhipeng HUANG, Yue FANG, Qing HUANG, Yuan WANG and Changjing WANG

Wuhan Univ. J. Nat. Sci., 27 5 (2022) 415-423

DOI: https://doi.org/10.1051/wujns/2022275415

Back to the article