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