BibTeX记录conf/cav/BozzanoCPGJK20
@正在进行{DBLP:conf/cav/BozzanoCPGJK20， author={Marco Bozzano和 亚历山德罗·西马蒂和 安东尼·费尔南德斯·皮雷和 阿尔贝托·格里乔和 马丁·乔恩和 格雷格·金伯利（Greg Kimberly）， editor={Alexandra Silva和 K.Rustan M.Leino}， title＝{基于SMT的故障传播的有效分析}， booktitle={计算机辅助验证-第33届国际会议，{CAV} 2021年，虚拟事件，2021年7月20日至23日，会议记录，第{II}}部分， series={计算机科学讲稿}， 体积={12760}， 页数={209--230}， publisher={Springer}， 年份={2021}， url={ https://doi.org/10.1007/978-3-030-81688-9 \_10}, doi={10.1007/978-3-030-81688-9\_10}， timestamp={2021年8月12日星期四17:51:20+0200}， 比布尔={ https://dblp.org/rec/conf/cav/BozzanoCPGJK20.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
