BibTeX记录conf/vstte/Dinsdale-YoungGW10
@正在进行{DBLP:conf/vstte/Dinsdale-YoungGW10， author={托马斯·丁斯代尔 {-}年轻 和 菲利普·加德纳和 Mark J.Wheelhouse公司}， editor={加里·T·利文斯和 Peter W.O'Hearn和 Sriram K.Rajamani}， title={局部推理的抽象和精化}， booktitle={验证软件：理论、工具、实验、第三国际 2010年8月16日至19日，英国爱丁堡，2010年{VSTTE}会议。 诉讼}， series={计算机科学讲稿}， 体积＝{6217}， 页数={199--215}， publisher={Springer}， 年份={2010}， url={ https://doi.org/10.1007/978-3-642-15057-9 \_14}, doi={10.1007/978-3642-15057-9\_14}， timestamp={2019年5月14日星期二10:00:49+0200}， biburl={ https://dblp.org/rec/conf/vstte/Dinsdale-YoungGW10.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
