Non-recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems.

Zhengkang Zuo, Yue Fang, Qing Huang, Yunyan Liao, Yuan Wang, Changjing Wang

Browse the full QRS paper archive.