Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification | IEEE Conference Publication | IEEE Xplore