BibTeX record conf/fmcad/KonighoferB11

download as .bib file

@inproceedings{DBLP:conf/fmcad/KonighoferB11,
  author    = {Robert K{\"{o}}nighofer and
               Roderick Bloem},
  editor    = {Per Bjesse and
               Anna Slobodov{\'{a}}},
  title     = {Automated error localization and correction for imperative programs},
  booktitle = {International Conference on Formal Methods in Computer-Aided Design,
               {FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
  pages     = {91--100},
  publisher = {{FMCAD} Inc.},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=2157671},
  timestamp = {Sat, 29 Apr 2017 16:20:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/KonighoferB11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier