[IEEE 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) - Providence, RI, USA (1977.10.31-1977.11.2)] 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) - Program invariants as fixed points

• 作者Clarke, Edmund Melson
• 文件大小1444.82KB
• 发表时间1977
• DOI10.1109/sfcs.1977.25
• 页码18-29