提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/fm/ZhaoYZGZC14号文件AU-Zhao、HengjunAU-Yang、MengfeiAU-Zhan、NaijunAU-Gu、BinAU-邹亮AU-陈，姚TI-月球着陆器下降制导控制程序的形式验证。2014年5月12日至16日，新加坡，BT-FM第19届国际研讨会，正式方法。诉讼SP-733型EP-7482014年上半年//DO-2007年10月10日/978-3-319-06410-9_49UR-（欧元）https://doi.org/10.1007/978-3-319-06410-9_49急诊室-