TY  - RPRT
TI  - Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
AU  - Yuan Feng
AU  - Sanjiang Li
PY  - 2022
UR  - https://arxiv.org/abs/2206.13772
ID  - 2206.13772
ER  -