Project title/計畫英文名
形式化程式建構、分析、驗證之方法與應用-總計畫(I)
Project Number/計畫編號
101-2221-E-002-092-
Translated Name/計畫中文名
形式化程式建構、分析、驗證之方法與應用-總計畫(I)
Project Principal Investigator/計畫主持人
Funding Organization
Start date/計畫起
01-08-2012
Expected Completion/計畫迄
31-07-2013