@inproceedings{Abdulla_2018,
    doi = {10.23919/fmcad.2018.8602997},
    url = {https://doi.org/10.23919%2Ffmcad.2018.8602997},
    year = {2018},
    month = {oct},
    publisher = {{IEEE}},
    author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Yu-Fang Chen and Bui Phi Diep and Lukas Holik and Ahmed Rezine and Philipp Rummer},
    title = {Trau: {SMT} solver for string constraints},
    booktitle = {2018 Formal Methods in Computer Aided Design ({FMCAD})}
}

@inproceedings{Abdulla_2018, doi = {10.23919/fmcad.2018.8602997}, url = {https://doi.org/10.23919%2Ffmcad.2018.8602997}, year = {2018}, month = {oct}, publisher = {{IEEE}}, author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Yu-Fang Chen and Bui Phi Diep and Lukas Holik and Ahmed Rezine and Philipp Rummer}, title = {Trau: {SMT} solver for string constraints}, booktitle = {2018 Formal Methods in Computer Aided Design ({FMCAD})} }