@第{zbMATH06979621条，作者={Boutonet，R{\ee}my和Halbwachs，Nicolas}，标题={通过超出递减序列的抽象解释改进程序分析结果}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={53}，数字={3}，页码={384--406}，年份={2018年}，语言={英语}，DOI＝{10.1007/s10703-017-0310-y}，关键词={68N30}，zbMATH={6979621}，Zbl={1425.68064}}