BibTeX record conf/cav/KneussKK15

download as .bib file

@inproceedings{DBLP:conf/cav/KneussKK15,
  author    = {Etienne Kneuss and
               Manos Koukoutos and
               Viktor Kuncak},
  title     = {Deductive Program Repair},
  booktitle = {{CAV} {(2)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9207},
  pages     = {217--233},
  publisher = {Springer},
  year      = {2015}
}
maintained by Schloss Dagstuhl LZI at University of Trier