Changjing Wang, Fan Xu, Haimei Luo, Qing Huang, Zhengkang Zuo. Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification. In 20th IEEE International Conference on Software Quality, Reliability and Security, QRS 2020, Macau, China, December 11-14, 2020. pages 254-264, IEEE, 2020. [doi]
Abstract is missing.