Projections

An applied quantum Hoare logic
We derive a variant of quantum Hoare logic (QHL), called applied quantum Hoare logic (aQHL for short), by: 1. restricting QHL to a …
Li Zhou, Nengkun Yu, Mingsheng Ying
引用 DOI URL