Browsing by Subject l*
Showing results 1 to 1 of 1
| Publication Year | Title | Author(s) | Department |
|---|---|---|---|
| 2009 | 自動化組合式驗證：問題、解答、實驗 Automated Compositional Verification: Problems, Solutions, and Experiments | Yu-Fang Chen; 陳郁方 | 資訊管理學研究所 |
DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More