@收款{zbMATH05839895，作者={F{\“a}hndrich，Manuel and Logozzo，Francesco}，标题={带有抽象解释的静态合同检查}，BookTitle={面向对象软件的正式验证。国际会议，FoVeOOS 2010，巴黎，法国，2010年6月28日至30日。修改选定论文}，国际标准图书编号={978-3-642-18069-9}，页码={10--30}，年份={2011}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-18070-5_2}，关键词={68N20,68Q60}，zbMATH={5839895}，Zbl={1308.68033}}