2010-08-012024-05-18https://scholars.lib.ntu.edu.tw/handle/123456789/713291程式之模組性與擴充性：驗證方法與工具-子計畫三:以建構式時態介面為基礎之模組化規格、驗證與合成