Jianxin Chen's Homepage
Jianxin Chen's Homepage
Home
Posts
Projects
Talks
Publications
Contact
CV
Light
Dark
Automatic
Weakest precondition
Commutativity of quantum weakest preconditions
Mingsheng Ying
,
Jianxin Chen
,
Yuan Feng
,
Runyao Duan
Cite
DOI
URL
Cite
×