Gyachas,K.K。 证明简单多模态程序属性的公理系统。 (英语。俄文原件) Zbl 0674.68015号 控制论 24,第2期,179-186(1988); 译自Kibernetika 1988,第2期,33-38(1988)。 审核人:V.布尔扬 MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.K.Gyachas},《控制论》24,第2期,179--186(1988;Zbl 0674.68015);译自Kibernetika 1988,No.2,33--38(1988) 全文: 内政部
Yu Kapitonova。五、。;Letichevskij,A.A。 宏管道程序的设计。 (英语。俄文原件) Zbl 0646.68009号 控制论 23,第5期,581-590(1987); 译自Kibernetika 1987,第5期,11-18(1987)。MSC公司:68号01 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.V.Kapitonova}和\textit{A.Letichevskij},《控制论》23,第581-590号(1987年;Zbl 0646.68009);译自Kibernetika 1987,No.5,11-18(1987) 全文: 内政部
尤先科,E.L。;I.V.卡萨基纳。 证明程序正确性的当前方法。 (英语。俄文原件) Zbl 0461.68020号 控制论 16, 832-861 (1981); 译自Kibernetika 1980,第6期,37-62(1980)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Yushchenko}和\textit{I.V.Kasatkina},控制论16,832--861(1980;Zbl 0461.68020);译自Kibernetika 1980,No.6,37--62(1980) 全文: 内政部