搜索筛选:
搜索耗时0.8505秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：雷红轩,彭家寅,刘熠,
来源：电子学报 年份：2016
程序验证是保证程序正确性的关键技术.由于经典世界和量子世界的本质不同,经典程序验证的技术和工具不能直接应用到量子系统.而量子程序设计语言是描述量子系统的一种新的形...
相关搜索：
