清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Xiaoquan Xu
最新发表
Yuan Feng
,
Li Zhou
,
Yingte Xu
,
Xiaoquan Xu
(2025).
Refinement calculus of quantum programs with projective assertions
.
ACM Trans. Softw. Eng. Methodol.
.
引用
DOI
URL
引用
×