Qi,蕾蕾;杨庆红;你,英 基于Isabelle的算法形式化推导和自动验证。 (中文。英文摘要) Zbl 1424.68041号 J.江西省标准。大学,自然科学。预计起飞时间。 42,第4号,379-383(2018).MSC公司:68号30 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{L.Qi}等,《江西省规范》。大学,自然科学。第42版,第4号,379--383(2018;Zbl 1424.68041) 全文: 内政部
华志章;杨庆红;杰、安全 树遍历非递归算法的统一解及其形式证明。 (中文。英文摘要) Zbl 1240.68060号 J.江西省标准。大学,自然科学。预计起飞时间。 34,第2期,123-127(2010).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{Z.Hua}等,《江西省规范》。大学,自然科学。第34版,第2期,第123-127页(2010年;Zbl 1240.68060)