BibTeX record conf/se/KuznetsovKBC14

download as .bib file

@inproceedings{DBLP:conf/se/KuznetsovKBC14,
  author    = {Volodymyr Kuznetsov and
               Johannes Kinder and
               Stefan Bucur and
               George Candea},
  title     = {Efficient State Merging in Symbolic Execution},
  booktitle = {Software Engineering},
  series    = {{LNI}},
  volume    = {{P-227}},
  pages     = {45--46},
  publisher = {{GI}},
  year      = {2014}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics