克里斯托夫·霍德;劳拉·科瓦茨;安德烈·沃伦科夫 在校样的灰色区域播放。 (英语) Zbl 1321.68196号 2012年1月22日至28日,美国宾夕法尼亚州费城,POPL'12,第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1083-3)。259-272 (2012). 引用于9文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68吨15 定理证明(演绎、解析等)(MSC2010) 关键词:插值;程序验证;定理证明 软件:TPTP公司;SMT-LIB公司;克拉托斯;VAMPIRE公司;z3(零3) PDF格式BibTeX公司 XML格式引用 \textit{K.Hoder}等人,摘自:第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL’12,美国宾夕法尼亚州费城,2012年1月22日至28日。纽约州纽约市:计算机协会(ACM)。259--272(2012;Zbl 1321.68196) 全文: 内政部