BibTeX记录conf/aplas/NtzikPG15
@正在进行{DBLP:conf/aplas/NtzikPG15， author={Gian Ntzik和 佩德罗·达·罗查·平托和 菲利普·加德纳}， editor={冯新宇和 Sungwoo公园}， title={容错资源推理}， booktitle={编程语言和系统-第13届亚洲研讨会，{APLAS} 2015年11月30日至12月2日，韩国浦项，Proceedings}， series={计算机科学讲稿}， 体积={9458}， 页数={169--188}， publisher={Springer}， 年份={2015年}， url={ https://doi.org/10.1007/978-3-319-26529-2 \_10}, doi={10.1007/978-3-319-26529-2\_10}， 时间戳＝{2022年3月4日星期五17:35+0100}， biburl={ https://dblp.org/rec/conf/aplas/NtzikPG15.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
