BibTeX记录conf/tacas/YangLLHWSXZ21
@进行中{DBLP:conf/tacas/YangLLHWSXZ21， author={杨鹏飞和 李仁觉和 李建林和 程 {-}赵 黄和 王静怡和 孙军和 白雪和 张丽君}， editor={Jan Friso Groote和 Kim Guldstrand Larsen}， title={通过伪区域引导改进神经网络验证 精炼}， booktitle={系统构建和分析的工具和算法 -第27届国际会议，{TACAS}2021，作为 欧洲软件理论与实践联合会议 2021年，卢森堡市，卢森堡，2021年3月27日至4月1日，诉讼， 第{I}部分}， series={计算机科学讲稿}， 体积={12651}， 页数={389--408}， publisher={Springer}， 年份＝{2021}， url={ https://doi.org/10.1007/978-3-030-72016-2 \_21}, doi={10.1007/978-3-030-72016-2\_21}， timestamp={2021年5月14日星期五08:34:19+0200}， 比布尔={ https://dblp.org/rec/conf/tacas/YangLLHWSXZ21.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
