×
格雷戈里·安德鲁斯。；理查德·雷特曼（Richard P.Reitman）。

程序中信息流的公理方法。 （英语） Zbl 0468.68034号

ACM事务处理。程序。语言系统。 2, 56-76 (1980)。
页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面
扫描Zbl 0468.68034

引用于14文件

MSC公司：

68N25号 操作系统理论
第68季度第60季度 规范和验证（程序逻辑、模型检查等）
68问题65 抽象数据类型；代数规范

关键词：

正确性规则；信息安全；安全认证；并行程序；公理逻辑；证明规则
PDF格式BibTeX公司 XML格式引用
\textit{G.R.Andrews}和\textit{R.P.Reitman}，ACM Trans。程序。语言系统。256--76（1980年；Zbl 0468.68034）
全文： 内政部