@InCollection{zbMATH07350162，作者={Qian，Lin and Duan，Zhenhua and Zhang，Nan and Tian，Cong}，标题={{Coq}}中{MSVL}程序的证明系统，BookTitle={结构化面向对象形式语言和方法。第六届国际研讨会，SOFL+MSVL 2016，日本东京，2016年11月15日。修改选定论文}，国际标准图书编号={978-3-319-57707-4；978-3-3169-57708-1}，页码={121--143}，年份={2017年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-57708-1_8}，关键词={68N30,68N15,68Q60,68V20}，zbMATH={7350162}，Zbl={1461.68058}}