勒诺尔·扎克;阿米尔·普努利;本杰明·戈德伯格;克拉克·巴雷特;方,易;胡英 循环转换的转换和运行时验证。 (英文) Zbl 1083.68555号 形式方法系统。设计。 27,第3期,335-360(2005).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Zuck}等人,《形式方法系统》。设计。27,第3号,335--360(2005;Zbl 1083.68555) 全文: 内政部
Yong、Suan Xi;苏珊·霍维茨 使用静态分析减少动态分析开销。 (英文) Zbl 1083.68552号 形式方法系统。设计。 27,第3期,313-334(2005).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.H.Yong}和\textit{S.Horwitz},《形式方法系统》。设计。27,第3号,313--334(2005;Zbl 1083.68552) 全文: 内政部
卡拉曼,穆拉特;帕克·阿伯克龙比 jContractor:使用反射字节码插装将design-by-contract引入Java。 (英文) Zbl 1086.68534号 形式方法系统。设计。 第3277-312号(2005年).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.卡拉曼}和\textit{P.阿伯克龙比},《形式方法系统》。设计。27,第3号,275--312(2005;Zbl 1086.68534) 全文: 内政部
伯恩德·芬克贝纳;桑卡拉纳拉亚南,斯里拉姆;亨尼·B·西普玛。 收集运行时执行的统计信息。 (英文) Zbl 1083.68068号 形式方法系统。设计。 27,第3期,253-274(2005).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人,《形式方法系统》。设计。27,第3号,253--274(2005;Zbl 1083.68068) 全文: 内政部
卡尔蒂基扬·巴尔干;卡尔·A·冈特。 网络事件识别。 (英文) Zbl 1083.68001号 形式方法系统。设计。 27,第3期,213-251(2005).MSC公司:68M10个 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}和\textit{C.A.Gunter},《形式方法系统》。设计。27,第3号,213--251(2005;Zbl 1083.68001) 全文: 内政部