Mingsheng Ying. Floyd-hoare logic for quantum programs. ACM Transactions on Programming Languages and Systems, 33(6):19, 2011. [doi]
@article{Ying11, title = {Floyd-hoare logic for quantum programs}, author = {Mingsheng Ying}, year = {2011}, doi = {10.1145/2049706.2049708}, url = {http://doi.acm.org/10.1145/2049706.2049708}, researchr = {https://researchr.org/publication/Ying11}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {33}, number = {6}, pages = {19}, }