TY  - RPRT
TI  - Bit-Vector Abstractions to Formally Verify Quantum Error Detection & Entanglement
AU  - Arun Govindankutty
PY  - 2026
DO  - 10.1109/dcas69364.2026.11544428
UR  - https://arxiv.org/abs/2603.13554
ID  - 2603.13554
ER  -