安努列夫,I.S。;玛丽亚索夫,伊利亚;内波尼亚希奇,V.A。 从安全逻辑的角度来看,C-light程序的两级混合验证方法。 (英文) Zbl 1374.68269号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 34, 23-42 (2012).MSC公司:60年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev}等人,Jt。牛市。NCC IIS,序列号。计算。科学。34、23-42(2012年;Zbl 1374.68269) 全文: 链接
安努列夫,I.S。 特定于项目的过渡系统。 (英文) Zbl 1374.68110号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 34, 1-21 (2012).MSC公司:68号30 68问题55 第68季度85 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev},Jt。牛市。NCC IIS,序列号。计算。科学。34,1-21(2012年;兹bl 1374.68110) 全文: 链接
A.V.普罗姆斯基。 C内核的错误跟踪公理语义。 (英文) Zbl 1374.68115号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 31, 123-138 (2010).MSC公司:68号30 03B70号 68甲19 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Promsky},Jt。牛市。NCC IIS,序列号。计算。科学。31123--138(2010年;Zbl 1374.68115) 全文: 链接
Anureev,Igor S。 C程序验证的三阶段方法。 (英文) Zbl 1249.68026号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 28, 1-29 (2008).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev},Jt。牛市。NCC IIS,序列号。计算。科学。28、1-29(2008;Zbl 1249.68026)
Nepomnyashchij,V.A。;安努列夫,I.S。;杜布拉诺夫斯基,I.V。;普罗姆斯基,A.V。 C程序验证的三级方法。 (英文) 兹比尔1090.68023 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 20, 61-85 (2004).MSC公司:68号30 68甲15 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Nepomnyashchij}等人,Jt。牛市。NCC IIS,序列号。计算。科学。20、61-85(2004年;Zbl 1090.68023)