@会议记录{daniel_et_al:OASIcs.ICCSW.2014.27，作者={Daniel、Jakub和Par，title={{程序验证中的谓词抽象：调查和当前趋势}}，booktitle={2014帝国理工学院计算机专业学生研讨会}，页数={27--35}，series={信息学开放存取系列（OASIcs）}，国际标准图书编号={978-3-939897-76-7}，ISSN={2190-6807}，年份={2014}，体积={43}，editor={Neykova，Rumyana和Ng，Nicholas}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.27},URN={URN:nbn:de:0030-drops-47706}，doi={10.4230/OASIcs.ICCSW.2014.27}，annote={关键词：程序验证、模型检查、谓词抽象、精化}}
