BibTeX记录conf/esop/RaadVG15
@正在进行{DBLP:conf/esop/RaadVG15， author={杜鹃和 朱尔斯·维拉德和 菲利普·加德纳}， 编辑器＝{Jan Vitek}， title={CoLoSL:并发局部主观性逻辑}， booktitle={编程语言和系统-第24届欧洲编程研讨会， {ESOP}2015，作为欧洲理论联合会议的一部分举行 《软件实践》，2015年{ETAPS}，英国伦敦，2015年4月11日至18日。 诉讼}， series={计算机科学讲稿}， 体积={9032}， 页数={710--735}， publisher={Springer}， 年份={2015年}， url={ https://doi.org/10.1007/978-3-662-46669-8 \_29}, doi={10.1007/978-3-662-46669-8\_29}， timestamp={2022年10月2日，星期日16:00:35+0200}， biburl={ https://dblp.org/rec/conf/esop/RaadVG15.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
