http://ir.sinica.edu.tw/handle/201000000A/39005| 題名: | Automatic Verification of a Model Checker by Reflection | 作者: | Bow-Yaw Wang | 公開日期: | 2006-01 | 會議: | 8th International Symposium on Practical Aspects of Declarative Languages (Charleston, South Carolina, USA) | URI: | http://ir.sinica.edu.tw/handle/201000000A/39005 |
| 顯示於： | 資訊科學研究所 |
在 IR 系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。