瀏覽 的方式: 作者 Chun-Yi Chiang
顯示 1 到 1 筆資料,總共 1 筆
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2020 | 抽取謂詞以改進性質導向可達性技術 Improving Property Directed Reachability by Predicate Extraction | Chun-Yi Chiang; 江俊毅 | 電子工程學研究所 |
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2020 | 抽取謂詞以改進性質導向可達性技術 Improving Property Directed Reachability by Predicate Extraction | Chun-Yi Chiang; 江俊毅 | 電子工程學研究所 |