年度	97
計畫類別	科技部
計畫名稱	程式之模組性與擴充性:驗證方法與工具－子計畫五:剖面導向函數語言之模組化狀態處理與型態擴充研究(1/3)
參與人	陳恭,莊庭瑞,王柏堯
職稱/擔任之工作	計畫主持人
計畫期間	2008.08 ~ 2009.07
補助/委託或合作機構	國科會