Project title/計畫英文名
正規驗證引擎中之自動抽象化技術
Translated Name/計畫中文名
正規驗證引擎中之自動抽象化技術
Project Principal Investigator/計畫主持人
Start date/計畫起
01-05-2018
Expected Completion/計畫迄
30-06-2019