Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/cav/AbdullaACHRRS15
AU - Abdulla, Parosh Aziz
AU - Atig, Mohamed Faouzi
AU - Chen, Yu-Fang
AU - Holík, Lukás
AU - Rezine, Ahmed
AU - Rümmer, Philipp
AU - Stenman, Jari
TI - Norn: An SMT Solver for String Constraints.
BT - Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
SP - 462
EP - 469
PY - 2015//
DO - 10.1007/978-3-319-21690-4_29
UR - https://doi.org/10.1007/978-3-319-21690-4_29
ER -
