利奥·弗雷塔斯;吉姆·伍德科克;付,郑 Z/Eves中的POSIX文件存储:在经过验证的软件存储库中进行的实验。 (英语) 兹比尔1162.68388 科学。计算。程序。 74,第4期,238-257(2009).MSC公司:68M99型 68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Freitas}等人,科学。计算。程序。74,第4号,238--257(2009;Zbl 1162.68388) 全文: 内政部
安德鲁·巴特菲尔德;利奥·弗雷塔斯;吉姆·伍德科克 机械化闪存的正式模型。 (英语) Zbl 1162.68387号 科学。计算。程序。 74,第4期,219-237(2009).MSC公司:68M99型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Butterfield}等人,科学。计算。程序。74,第4号,219--237(2009;Zbl 1162.68387) 全文: 内政部 链接
利奥·弗雷塔斯;吉姆·伍德科克;张艺奇 使用Z/Eves验证CICS文件控制API:在已验证的软件存储库中进行的实验。 (英语) Zbl 1178.68527号 科学。计算。程序。 74,第4期,197-218(2009).MSC公司:68吨15 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{L.Freitas}等人,科学。计算。程序。74,第4号,197--218(2009;Zbl 1178.68527) 全文: 内政部