埃里克·C·R·海纳。 预测性编程。一、。 (英文) Zbl 0593.68010号 Commun公司。ACM公司 27, 134-143 (1984). 见下文第二部分的审查。 引用于1审查引用于24文件 MSC公司: 68号01 软件理论的一般主题 关键词:语义学;规范;一阶谓词;谓词演算 引文:Zbl 0593.68011号 PDF格式BibTeX公司 XML格式引用 \textit{E.C.R.Hehner},Commun(科姆)。ACM 27,134--143(1984;Zbl 0593.68010) 全文: 内政部