清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Weakest Precondition
Commutativity of quantum weakest preconditions
Mingsheng Ying
,
Jianxin Chen
,
Yuan Feng
,
Runyao Duan
引用
DOI
URL
引用
×