Wuhan University Journal of Natural Sciences

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

Published online: 11 November 2022

DOI: 10.1051/wujns/2022275415

Zhengkang ZUO

Zhipeng HUANG

Yue FANG

Qing HUANG

Yuan WANG

Changjing WANG

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)