马英英;马振伟;陈刚 基于Coq的块矩阵运算形式化。 (中文。英文摘要) Zbl 1488.68059号 J.软件。 32,第6期,1882-1909(2021).MSC公司:68T07型 15B99型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ma}等人,J.Softw。32,第6号,1882--1909(2021;Zbl 1488.68059) 全文: 内政部
蒋晶晶;乔,雷;杨梦飞;杨华(Yang,Hua);刘波 基于Coq的操作系统任务管理需求层建模与验证。 (中文。英文摘要) Zbl 1463.68015号 J.软件。 31,第8期,2375-2387(2020).MSC公司:68N25号 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Jiang}等人,J.Softw。31,第8号,2375--2387(2020;Zbl 1463.68015) 全文: 内政部
李亚南;邓玉欣;刘静 基于Coq的Paxos形式化建模与验证。 (中文。英文摘要) 兹比尔1463.68037 J.软件。 31,第8期,2362-2374(2020).MSC公司:60年第68季度 68米14 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,J.Softw。31,第8号,2362--2374(2020;Zbl 1463.68037) 全文: 内政部