@收款{zbMATH06445100，作者={Podelski，Andreas and Wies，Thomas}，标题={反例引导焦点}，BookTitle={第37届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日}，国际标准图书编号={978-1-60558-479-9}，页码={249--260}，年份={2010}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/1706299.1706330}，关键词={68N30,68P05}，zbMATH={6445100}，Zbl={1312.68067}}