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) 全文: 链接
Nepomnyashchij,V.A。;安努列夫,I.S。;杜布拉诺夫斯基,I.V。;普罗姆斯基,A.V。 C程序验证的三级方法。 (英语) Zbl 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)