| 公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
|---|---|---|---|---|---|---|
| 2015 | CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation | Yu-Fang Chen; Chiao Hsieh; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang | ||||
| 2016 | PAC learning-based verification and model synthesis | Yu-Fang Chen; Chiao Hsieh; Ondrej Lengál; Tsung-Ju Lii; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang |
