公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2015 | Norn: An SMT Solver for String Constraints | Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Lukás Holík; Ahmed Rezine; Philipp Rümmer; Jari Stenman | ||||
2014 | String Constraints for Verification | Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Lukas Holik; Ahmed Rezine; Philipp Reummer; Jari Stenman |