瀏覽 的方式: 作者 Chiao Hsieh
顯示 1 到 1 筆資料,總共 1 筆
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2015 | 以程式變換方法協助程式分析器驗證遞迴程式 Verifying Recursive Program via Source-to-Source Program Transformation | Chiao Hsieh; 謝橋 | 電子工程學研究所 |
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2015 | 以程式變換方法協助程式分析器驗證遞迴程式 Verifying Recursive Program via Source-to-Source Program Transformation | Chiao Hsieh; 謝橋 | 電子工程學研究所 |