Project title/計畫英文名
元件合成軟體之形式化驗證初探
Project Number/計畫編號
92-2213-E-002-061-
Translated Name/計畫中文名
元件合成軟體之形式化驗證初探
Project Principal Investigator/計畫主持人
Funding Organization
Start date/計畫起
01-08-2003
Expected Completion/計畫迄
31-07-2004