Mingsheng Ying, Shenggang Ying, Xiaodi Wu
Invariants of quantum programs: characterisations and generation
POPL, 2017.
@inproceedings{POPL-2017-YingYW, author = "Mingsheng Ying and Shenggang Ying and Xiaodi Wu", booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}", isbn = "978-1-4503-4660-3", pages = "818--832", publisher = "{ACM}", title = "{Invariants of quantum programs: characterisations and generation}", year = 2017, }