| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2012 | Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference | Wonchan Lee; Yungbum Jung; Bow-Yaw Wang; Kwangkuen Yi | Logical Methods in Computer Science 8(3:25) |
