张健;张超;宣继峰;熊英飞;王千祥;梁斌;李丽安;窦文胜;陈振邦;陈丽倩;蔡、严 程序分析的最新进展。 (中文。英文摘要) Zbl 1438.68028号 J.软件。 30,第1号,80-109(2019).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}等人,J.Softw。30,第1号,80--109(2019;Zbl 1438.68028) 全文: 内政部
王,季;詹乃军;冯新余;刘志明 形式化方法概述。 (中文。英文摘要) Zbl 1438.68030号 J.软件。 30,第1号,33-61(2019).MSC公司:68号30 68号01 60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{J.Wang}等人,J.Softw。30,第1号,第33-61条(2019年;Zbl 1438.68030) 全文: 内政部
崔斌;高军;童永新;徐建秋;张东翔;邹磊 新型数据管理系统的进展和趋势。 (中文。英文摘要) Zbl 1438.68036号 J.软件。 30,第1期,164-193(2019).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{B.Cui}等人,J.Softw。30,第1号,164--193(2019年;Zbl 1438.68036) 全文: 内政部
辛俊昌;王国仁;李国辉;高云军;张志强 最先进的数据模型及其研究进展。 (中文。英文摘要) Zbl 1438.68032号 J.软件。 30,第1期,142-163(2019).MSC公司:68个P01 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Xin}等人,J.Softw。30,第1号,142--163(2019年;Zbl 1438.68032) 全文: 内政部