蔡益坤2006-07-262018-06-292006-07-262018-06-292005http://ntur.lib.ntu.edu.tw//handle/246246/18775zh-TW國立臺灣大學資訊管理學系暨研究所以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I)other