命令式程序的集成证明语言

凯伦·泽,维克托·昆卡,马丁·里纳德.命令式程序的集成证明语言.迈克尔·欣德,艾默·迪万,编辑,2009年ACM SIGPLAN编程语言设计与实现会议记录,2009年PLDI,爱尔兰都柏林,2009年6月15日至21日.338-351、ACM、,2009 [美国国防部]

摘要

缺少摘要。