第 1 到 2 筆結果，共 2 筆。
| 公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 | |
|---|---|---|---|---|---|---|---|
| 1 | 2012 | Thread-Modular Model Checking with Iterative Refinement | Wenrui Meng; Fei He; Bow-Yaw Wang ; Qiang Liu | ||||
| 2 | 2011 | Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference | Yungbum Jung; Wonchan Lee; Bow-Yaw Wang ; Kwangkeun Yi |
