@收款{zbMATH06507270，作者={Henzinger，Thomas A.和Jhala，Ranjit和Majumdar，Rupak和McMillan，Kenneth L.}，标题={证据摘要}，BookTitle={第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'04，意大利威尼斯，2004年1月14日至16日}，国际标准图书编号={1-58113-729-X}，Pages＝{232-244}，年份={2004}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/964001.964021}，关键词={68Q60,68N30}，zbMATH={6507270}，Zbl={1325.68147}}