冯、袁;李三江;英明生 分布式量子程序的验证。 （英语） Zbl 1508.68218号 ACM事务处理。计算。日志。 23，第3条，第19条，40页（2022年）. 引用于1文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B70号 计算机科学中的逻辑 2012年第68季度 计算理论中的量子算法和复杂性 81页68 量子计算 关键词：量子程序设计;分布式计算;形式验证;霍尔逻辑 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}等人，ACM Trans。计算。日志。23，第3号，第19条，40页（2022年；Zbl 1508.68218） 全文： 内政部 arXiv公司