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