Year	97
Project Category	MOST Projects
Project Title	程式之模組性與擴充性:驗證方法與工具－子計畫五:剖面導向函數語言之模組化狀態處理與型態擴充研究(3/3)
Participator	CHEN KUNG
Job Title	Principal Investigator
Period	2010.08 ~ 2011.10
Unit	National Science and Technology Council