Invariants of quantum programs: characterisations and generation.

Mingsheng Ying, Shenggang Ying, Xiaodi Wu

Browse the full POPL paper archive.