BibTeX记录conf/kbse/WardKA05
@正在进行{DBLP:conf/kbse/WardKA05， author={贾斯汀·沃德和 加林·金梅尔和 佩里·亚历山大， editor={David F.Redmiles和 托马斯·埃尔曼和 安德烈亚·齐斯曼}， title={Prufrock:构造多型定理证明器的框架}， booktitle={20th{IEEE/ACM}自动化软件工程国际会议 {（ASE}2005），2005年11月7日至11日，加利福尼亚州长滩，{美国}}， 页数={423--426}， publisher={{ACM}}， 年份＝{2005}， url={ https://doi.org/10.1145/11101908.1101985 }, doi={10.1145/1101908.1101985}， timestamp={2018年11月6日星期二16:58:23+0100}， biburl={ https://dblp.org/rec/conf/kbse/WardKA05.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
