Gary T.Leavens。;Leino,K.Rustan M。;彼得·米勒 顺序面向对象程序的规范和验证挑战。 (英语) Zbl 1121.68074号 正式Asp。计算。 19,第2期,159-189(2007).MSC公司:60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.T.Leavens}等人,正式Asp。计算。19,第2号,159--189(2007;Zbl 1121.68074) 全文: 内政部 链接
戴维·诺曼(David A.Naumann)。 对象不变量和模拟的基于断言的封装。 (英语) Zbl 1123.68022号 正式Asp。计算。 19,第2期,205-224(2007).MSC公司:68甲19 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Naumann},正式Asp。计算。19,第2号,205-224(2007;Zbl 1123.68022) 全文: 内政部
大卫·诺曼。 观察纯度和封装。 (英语) Zbl 1116.68052号 西奥。计算。科学。 376,第3号,205-224(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.A.Naumann},Theor。计算。科学。376,第3号,205--224(2007;Zbl 1116.68052) 全文: 内政部