Project title/計畫英文名
以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I)
Project Number/計畫編號
93-2213-E-002-117-
Translated Name/計畫中文名
以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I)
Project Principal Investigator/計畫主持人
Funding Organization
Start date/計畫起
01-08-2004
Expected Completion/計畫迄
31-07-2005