安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 转移谓词抽象和公平终止。 （英语） Zbl 1369.68152号 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。132-144 (2005). 引用于12文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：公平终止；活泼；软件模型检查；转换谓词抽象 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}和\textit{A.Rybalchenko}，摘自：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。132-144（2005年；Zbl 1369.68152） 全文： 内政部