蔡益坤2006-07-262018-06-292006-07-262018-06-291997http://ntur.lib.ntu.edu.tw//handle/246246/18752zh-TW國立臺灣大學資訊管理學系暨研究所反應式系統的可組合規格與自動驗證other