BibTeX记录conf/tacas/BozzanoBCKNT19
@正在进行{DBLP:conf/tacas/BozzanoBCKNT19， author={Marco Bozzano和 Harold Bruintjes和 亚历山德罗·西马蒂和 乔斯特 {-}皮特 卡托恩和 托马斯·诺尔和 斯特凡诺·托内塔}， editor={Tom{\'{a}}s Vojnar和 张立军}， title={{COMPASS}3.0}， booktitle={系统构建和分析的工具和算法 -2019年第25届国际会议{TACAS}，作为 欧洲软件理论与实践联合会议 2019年，捷克共和国布拉格，2019年4月6日至11日，会议记录，第部分 {一} }、， series={计算机科学讲稿}， 体积={11427}， 页数={379--385}， publisher={Springer}， 年份={2019}， url={ https://doi.org/10.1007/978-3-030-17462-0 \_25}, doi={10.1007/978-3-030-17462-0\_25}， timestamp={2022年10月2日，星期日16:16:19+0200}， biburl={ https://dblp.org/rec/conf/tacas/BozzanoBCKNT19.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
