Search

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

© 2024 Me. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite