@InCollection{zbMATH06515527，作者={Tiwari，Ashish and Gasc{'o}n，Adri{`a}and Dutertre，Bruno}，标题={使用双重解释的程序合成}，BookTitle={自动扣除--CADE-25。第25届自动扣减国际会议，德国柏林，2015年8月1-7日。诉讼}，ISBN＝{978-3-319-21400-9；978-3-319-21401-6}，页码＝{482-497}，年份={2015年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-21401-6_33}，关键词={68N30,68P25}，URL={www.pure.edac.uk/ws/files/24676075/cade2015.pdf}，zbMATH={6515527}，Zbl={1465.68051}}