胡安·佩纳;吉姆·伍德科克 Handel-C合成的机械化线控验证。 (英文) Zbl 1243.68154号 科学。计算。程序。 77,第4期,424-443(2012).MSC公司:68号30 60年第68季度 68吨15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Perna}和\textit{J.Woodcock},科学。计算。程序。77,第4号,424--443(2012;Zbl 1243.68154) 全文: 内政部
利奥·弗雷塔斯;吉姆·伍德科克;付,郑 Z/Eves中的POSIX文件存储:在经过验证的软件存储库中进行的实验。 (英文) 兹比尔1162.68388 科学。计算。程序。 74,第4期,238-257(2009).MSC公司:68M99型 68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{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) 全文: 内政部
安娜·卡瓦尔坎蒂;奥古斯托·桑帕约;吉姆·伍德科克 精化演算中过程、参数和替换的不一致。 (英文) Zbl 0942.68014号 科学。计算。程序。 33,第1期,87-96(1999).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人,科学。计算。程序。33,第1号,87--96(1999;Zbl 0942.68014) 全文: 内政部