@收款{zbMATH06046579，作者={Ermis、Evren和Hoenicke、Jochen和Podelski、Andreas}，标题={通过插值分解}，BookTitle={验证、模型检查和抽象解释。第13届国际会议，VMCAI 2012，费城，宾夕法尼亚州，美国，2012年1月22日至24日。诉讼}，国际标准图书编号={978-3-642-27939-3}，页码={186--201}，年份={2012}，出版商={柏林：施普林格}，语言={英语}，DOI＝{10.1007/978-3-642-27940-9_13}，关键词={68N30,68Q60}，zbMATH={6046579}，Zbl={1326.68091}}