Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs.

Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying

Browse the full LICS paper archive.