@收款{zbMATH07121803，作者={Daniel，Jakub和Par，标题={程序验证中的谓词抽象：调查和当前趋势}，BookTitle={2014年帝国理工学院计算机专业学生研讨会，ICCSW’14，英国伦敦，2014年9月25日至26日}，国际标准图书编号={978-3-939897-76-7}，页码={27--35}，年份={2014}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/OASIcs.ICCSW.2014.27}，关键词={68Q60}，zbMATH={7121803}，Zbl={1427.68165}}