Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification.

Changjing Wang, Fan Xu, Haimei Luo, Qing Huang, Zhengkang Zuo

Browse the full QRS paper archive.