BibTeX record conf/icsm/LeLLG16

download as .bib file

@inproceedings{DBLP:conf/icsm/LeLLG16,
  author    = {Xuan{-}Bach D. Le and
               Quang Loc Le and
               David Lo and
               Claire {Le Goues}},
  title     = {Enhancing Automated Program Repair with Deductive Verification},
  booktitle = {2016 {IEEE} International Conference on Software Maintenance and Evolution,
               {ICSME} 2016, Raleigh, NC, USA, October 2-7, 2016},
  pages     = {428--432},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {https://doi.org/10.1109/ICSME.2016.66},
  doi       = {10.1109/ICSME.2016.66},
  timestamp = {Sat, 15 Sep 2018 12:02:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/LeLLG16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier