A.V.扎姆林。 作为编译器抽象模型的命令式编程语言的代数语义。 (英语) Zbl 1090.68066号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 20, 113-128 (2004).MSC公司:第68季度55 68N20型 PDF格式BibTeX公司 XML格式引用 \文本{A.V.Zamulin},Jt。牛市。NCC IIS,序列号。计算。科学。20、113--128(2004年;Zbl 1090.68066)
I.V.塔拉修克。 概率(τ)互模拟等价物的逻辑特征。 (英语) Zbl 1090.68073号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 20, 97-111 (2004).MSC公司:68问题85 60千克20 60J20型 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Tarasyuk},Jt。牛市。NCC IIS,序列号。计算。科学。20,97--111(2004;Zbl 1090.68073)
Nepomnyashchij,V.A。;安努列夫,I.S。;杜布拉诺夫斯基,I.V。;普罗姆斯基,A.V。 一种C\(\sharp\)程序验证的三级方法。 (英语) 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)
E.V.库兹曼。;新墨西哥州希洛夫。;V.A.索科洛夫。 结构良好的转换系统中的模型检验演算。 (英语) Zbl 1090.68068号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 20, 49-59 (2004).MSC公司:60年第68季度 68问题85 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.V.Kuz'min}等人,Jt。牛市。NCC IIS,序列号。计算。科学。20、49-59(2004年;Zbl 1090.68068)
Bozhenkova,E.N。 密集时间模型的时间测试。 (英语) Zbl 1090.68045号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 20, 31-47 (2004).MSC公司:2010年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.N.Bozhenkova},Jt。牛市。NCC IIS,序列号。计算。科学。20、31——47(2004年;Zbl 1090.68045)
安努列夫,I.S。 统一语义语言:句法、语义和语用。 (英语) Zbl 1082.68018号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 20, 1-30 (2004).MSC公司:68号30 68甲15 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev},Jt。牛市。NCC IIS,序列号。计算。科学。20、1--30(2004;Zbl 1082.68018)