%0 Journal Article %1 journals/corr/abs-2206-13772 %A Feng, Yuan %A Li, Sanjiang %D 2022 %J CoRR %K dblp %T Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs. %U http://dblp.uni-trier.de/db/journals/corr/corr2206.html#abs-2206-13772 %V abs/2206.13772

@article{journals/corr/abs-2206-13772, added-at = {2022-07-04T00:00:00.000+0200}, author = {Feng, Yuan and Li, Sanjiang}, biburl = {https://www.bibsonomy.org/bibtex/2f1125d6b82edc9992b6f93863117f751/dblp}, ee = {https://doi.org/10.48550/arXiv.2206.13772}, interhash = {f6dd165f1123115a4317662029437200}, intrahash = {f1125d6b82edc9992b6f93863117f751}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:12:46.000+0200}, title = {Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2206.html#abs-2206-13772}, volume = {abs/2206.13772}, year = 2022 }