FENG Yuan
University of Technology Sydney, Australia;State Key Laboratory of Computer Science(Institute of Software, The Chinese Academy of Sciences), Beijing 100190, ChinaYING Ming-Sheng
University of Technology Sydney, Australia;State Key Laboratory of Computer Science(Institute of Software, The Chinese Academy of Sciences), Beijing 100190, China;Department of Computer Science and Technology, Tsinghua University, Beijing 100084, ChinaKey Research Program of Frontier Sciences, CAS (QYZDJ-SSW-SYS003); CAS/SAFEA Int'l Partnership Program for Creative Research Teams
冯元,应明生.量子程序验证.软件学报,2018,29(4):1085-1093
Copy