BibTeX record conf/fmcad/AbdullaACDHRR18

• > Home > conf/fmcad/AbdullaACDHRR18

@inproceedings{DBLP:conf/fmcad/AbdullaACDHRR18,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Yu{-}Fang Chen and
                  Bui Phi Diep and
                  Luk{\'{a}}s Hol{\'{\i}}k and
                  Ahmed Rezine and
                  Philipp R{\"{u}}mmer},
  editor       = {Nikolaj S. Bj{\o}rner and
                  Arie Gurfinkel},
  title        = {Trau: {SMT} solver for string constraints},
  booktitle    = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
                  TX, USA, October 30 - November 2, 2018},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.23919/FMCAD.2018.8602997},
  doi          = {10.23919/FMCAD.2018.8602997},
  timestamp    = {Thu, 14 Apr 2022 20:26:15 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/AbdullaACDHRR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}