BibTeX record conf/icse/SubramanianBGT17

• > Home > conf/icse/SubramanianBGT17

@inproceedings{DBLP:conf/icse/SubramanianBGT17,
  author       = {Sanu Subramanian and
                  Murphy Berzish and
                  Vijay Ganesh and
                  Omer Tripp},
  editor       = {Sebasti{\'{a}}n Uchitel and
                  Alessandro Orso and
                  Martin P. Robillard},
  title        = {A solver for a theory of string and bit-vectors},
  booktitle    = {Proceedings of the 39th International Conference on Software Engineering,
                  {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
                  Volume},
  pages        = {124--126},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICSE-C.2017.73},
  doi          = {10.1109/ICSE-C.2017.73},
  timestamp    = {Thu, 23 Mar 2023 23:58:12 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/SubramanianBGT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}