An applied quantum Hoare logic.

Li Zhou, Nengkun Yu, Mingsheng Ying

Browse the full PLDI paper archive.