%0 Journal Article %1 journals/corr/abs-2311-14215 %A Feng, Yuan %A Zhou, Li %A Xu, Yingte %D 2023 %J CoRR %K dblp %T Refinement calculus of quantum programs with projective assertions. %U http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-14215 %V abs/2311.14215

@article{journals/corr/abs-2311-14215, added-at = {2023-11-30T00:00:00.000+0100}, author = {Feng, Yuan and Zhou, Li and Xu, Yingte}, biburl = {https://www.bibsonomy.org/bibtex/257406255e3b72f02d090f5c29c74f60c/dblp}, ee = {https://doi.org/10.48550/arXiv.2311.14215}, interhash = {8e26031882622fc1debe07b1f2bf4f0a}, intrahash = {57406255e3b72f02d090f5c29c74f60c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:25:43.000+0200}, title = {Refinement calculus of quantum programs with projective assertions.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-14215}, volume = {abs/2311.14215}, year = 2023 }