@收款{zbMATH05196458,作者={Clarke、Edmund和Kroening、Daniel和Lerda、Flavio},标题={检查{ANSI}-{C}程序}的工具,BookTitle={用于系统构建和分析的工具和算法。第十届国际会议,TACAS 2004,作为软件理论和实践联合会议的一部分,ETAPS 2004,西班牙巴塞罗那,2004年3月29日至4月2日。会议记录。},国际标准图书编号={3-540-21299-X},页码={168--176},年份={2004},出版商={柏林:施普林格},语言={英语},DOI={10.1007/b96393},关键词={68Q60},zbMATH={5196458},Zbl={1126.68470}}