@第{zbMATH07035353条，作者={Ying，Mingsheng}，Title={朝向量子程序的自动验证}，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN＝{0934-5043}，体积={31}，数字={1}，页码={3--25}，年份={2019}，语言={英语}，DOI={10.1007/s00165-018-0465-3}，关键词={68Q60,68Q12}，zbMATH={7035353}，Zbl={1425.68271}}