BibTeX record journals/pacmpl/ChenHLRW19

download as .bib file

@article{DBLP:journals/pacmpl/ChenHLRW19,
  author    = {Taolue Chen and
               Matthew Hague and
               Anthony W. Lin and
               Philipp R{\"{u}}mmer and
               Zhilin Wu},
  title     = {Decision procedures for path feasibility of string-manipulating programs
               with complex operations},
  journal   = {{PACMPL}},
  volume    = {3},
  number    = {{POPL}},
  pages     = {49:1--49:30},
  year      = {2019},
  url       = {https://dl.acm.org/citation.cfm?id=3290362},
  timestamp = {Tue, 22 Jan 2019 15:27:56 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/ChenHLRW19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier