BibTeX record conf/sbmf/KalvalaW11

download as .bib file

@inproceedings{DBLP:conf/sbmf/KalvalaW11,
  author    = {Sara Kalvala and
               Richard Warburton},
  editor    = {Adenilso da Silva Sim{\~{a}}o and
               Carroll Morgan},
  title     = {A Formal Approach to Fixing Bugs},
  booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
               {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7021},
  pages     = {172--187},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-25032-3\_12},
  doi       = {10.1007/978-3-642-25032-3\_12},
  timestamp = {Fri, 26 May 2017 00:48:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sbmf/KalvalaW11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier