TY  - RPRT
TI  - QChecker: Detecting Bugs in Quantum Programs via Static Analysis
AU  - Pengzhan Zhao
AU  - Xiongfei Wu
AU  - Zhuo Li
AU  - Jianjun Zhao
PY  - 2023
UR  - https://arxiv.org/abs/2304.04387
ID  - 2304.04387
ER  -