BibTeX记录conf/esop/Xiong PNG17
@正在进行{DBLP:conf/esop/Xiong PNG17， author={Shale Xiong和 Pedro da Rocha Pinto和 Gian Ntzik和 菲利普·加德纳}， editor={Hongseok Yang}， title＝{并发映射的抽象规范}， booktitle={编程语言和系统-第26届欧洲编程研讨会， {ESOP}2017，作为欧洲理论联合会议的一部分举行 《软件实践》，｛ETAPS｝2017，瑞典乌普萨拉，4月22日至29日， 2017年，会议记录}， series={计算机科学讲稿}， 体积={10201}， 页数={964--990}， publisher={Springer}， 年份={2017年}， url={ https://doi.org/10.1007/978-3-662-54434-1 \_36}, doi={10.1007/978-3-662-54434-1\36}， timestamp={2019年5月14日星期二10:00:41+0200}， biburl={ https://dblp.org/rec/conf/esop/Xiong PNG17.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
