袁峰0001 许英特 非确定性量子程序的验证。 789-805 2023 阿斯普洛斯（3） https://doi.org/10.1145/3582016.358202039 conf/asplos/2023-3 db/conf/asplos/asplos2023-3.html#FengX23