2024-3-12025-04-14https://scholars.lib.ntu.edu.tw/handle/123456789/727166量子程式編譯系統：合成、模擬、驗證與測試-量子程式驗證與轉換(3/5)