%0 Journal Article %1 journals/pacmpl/YanJY22 %A Yan, Peng %A Jiang, Hanru %A Yu, Nengkun %D 2022 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA1 %P 1-28 %T On incorrectness logic for Quantum programs. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#YanJY22 %V 6

@article{journals/pacmpl/YanJY22, added-at = {2023-01-10T00:00:00.000+0100}, author = {Yan, Peng and Jiang, Hanru and Yu, Nengkun}, biburl = {https://www.bibsonomy.org/bibtex/27b7e7f643999d8f7e135aa54575d40b1/dblp}, ee = {https://doi.org/10.1145/3527316}, interhash = {ad8940446c7698c3509eb2ffaf108a44}, intrahash = {7b7e7f643999d8f7e135aa54575d40b1}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {OOPSLA1}, pages = {1-28}, timestamp = {2024-04-08T09:54:33.000+0200}, title = {On incorrectness logic for Quantum programs.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#YanJY22}, volume = 6, year = 2022 }