2004-08-012024-05-18https://scholars.lib.ntu.edu.tw/handle/123456789/705287以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I)