Non-recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Zhengkang Zuo' in GoogleThis author has not been identified. Look up 'Yue Fang' in GoogleThis author has not been identified. Look up 'Qing Huang' in GoogleThis author has not been identified. Look up 'Yunyan Liao' in GoogleThis author has not been identified. Look up 'Yuan Wang' in GoogleThis author has not been identified. Look up 'Changjing Wang' in Google

runs on WebDSL