Zhengkang Zuo, Yue Fang, Qing Huang, Yunyan Liao, Yuan Wang, Changjing Wang. Non-recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems. In 20th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2020, Macau, China, December 11-14, 2020. pages 670-671, IEEE, 2020. [doi]
Abstract is missing.