Results 1-2 of 2 (Search time: 0.002 seconds).
| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link | |
|---|---|---|---|---|---|---|---|
| 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 |
