@inproceedings{DBLP:conf/cav/AbdullaACHRRS15,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Yu{-}Fang Chen and
Luk{\'{a}}s Hol{\'{\i}}k and
Ahmed Rezine and
Philipp R{\"{u}}mmer and
Jari Stenman},
title = {Norn: An {SMT} Solver for String Constraints},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
pages = {462--469},
year = {2015},
crossref = {DBLP:conf/cav/2015-1},
url = {https://doi.org/10.1007/978-3-319-21690-4_29},
doi = {10.1007/978-3-319-21690-4_29},
timestamp = {Thu, 25 May 2017 00:39:07 +0200},
biburl = {https://dblp.org/rec/bib/conf/cav/AbdullaACHRRS15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2015-1,
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4},
doi = {10.1007/978-3-319-21690-4},
isbn = {978-3-319-21689-8},
timestamp = {Thu, 25 May 2017 00:39:07 +0200},
biburl = {https://dblp.org/rec/bib/conf/cav/2015-1},
bibsource = {dblp computer science bibliography, https://dblp.org}
}