BibTeX记录conf/fm/ZhaoYZGZC14
@正在进行{DBLP:conf/fm/ZhaoYZGZC14， author={赵恒军和 杨梦飞和 Naijun Zhan和 Bin Gu和 梁邹和 姚晨}， editor={Cliff B.Jones和 Pekka Pihlajasaari和 孙军}， title={月球下降制导控制程序的形式验证 着陆器}， booktitle={{FM}2014:正式方法-第19届国际研讨会，新加坡， 2014年5月12日至16日。 诉讼}， series={计算机科学讲义}， 体积={8442}， 页数={733--748}， publisher={Springer}， 年份={2014}， url={ https://doi.org/10.1007/978-3-319-06410-9 \_49}, doi={10.1007/978-3-319-06410-9\_49}， 时间戳＝{2022年11月15日星期二13:06:00+0100}， biburl={ https://dblp.org/rec/conf/fm/ZhaoYZGZC14.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
