Hietala K.SHIH-HAN HUNG2024-10-252024-10-252021-06-01[9783959771887]18688969https://scholars.lib.ntu.edu.tw/handle/123456789/722406falseProving quantum programs correctconference paper2-s2.0-85115201801