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 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
               25. Februar - 28. Februar 2014, Kiel, Germany},
  pages     = {45--46},
  year      = {2014},
  crossref  = {DBLP:conf/se/2014},
  url       = {https://dl.gi.de/20.500.12116/30951},
  timestamp = {Wed, 13 Jan 2021 11:09:09 +0100},
  biburl    = {https://dblp.org/rec/conf/se/KuznetsovKBC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/se/2014,
  editor    = {Wilhelm Hasselbring and
               Nils Christian Ehmke},
  title     = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
               25. Februar - 28. Februar 2014, Kiel, Germany},
  series    = {{LNI}},
  volume    = {{P-227}},
  publisher = {{GI}},
  year      = {2014},
  url       = {https://dl.gi.de/handle/20.500.12116/30946},
  isbn      = {978-388579-621-3},
  timestamp = {Wed, 16 Jun 2021 04:56:25 +0200},
  biburl    = {https://dblp.org/rec/conf/se/2014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics