清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Floyd--Hoare Logic
Floyd--hoare logic for quantum programs
Floyd–Hoare logic is a foundation of axiomatic semantics of classical programs, and it provides effective proof techniques for …
Mingsheng Ying
引用
DOI
URL
引用
×