BibTeX记录conf/setta/0001ZLW18
@正在进行{DBLP:conf/setta/0001ZLW18， author={白雪和 Naijun Zhan和 杨佳丽和 王秋叶}， editor={冯新宇和 马库斯M{\“{u}}勒 {-}奥姆 和 资江杨}， title={数值软件的稳健非终止分析}， booktitle＝｛可靠的软件工程。理论、工具和应用程序 -第四届国际研讨会，2018年{SETTA}，中国北京，9月 2018年4月6日，会议记录}， series={计算机科学讲义}， 体积={10998}， 页数={69--88}， publisher={Springer}， 年份={2018年}， url={ https://doi.org/10.1007/978-3-319-99933-3 \_5}, doi={10.1007/978-3-319-99933-3\_5}， 时间戳={2022年3月4日星期五17:17:33+0100}， biburl={ https://dblp.org/rec/conf/setta/0001ZLW18.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
