RenggliDGN10'

@inproceedings{DBLP:conf/tools/RenggliDGN10,
  author    = {Lukas Renggli and
               St{\'e}phane Ducasse and
               Tudor G\^{\i}rba and
               Oscar Nierstrasz},
  title     = {Domain-Specific Program Checking},
  booktitle = {TOOLS (48)},
  year      = {2010},
  pages     = {213-232},
  ee        = {http://dx.doi.org/10.1007/978-3-642-13953-6_12},
  crossref  = {DBLP:conf/tools/48-2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tools/48-2010,
  editor    = {Jan Vitek},
  title     = {Objects, Models, Components, Patterns, 48th International
               Conference, TOOLS 2010, M{\'a}laga, Spain, June 28 -
               July 2, 2010. Proceedings},
  booktitle = {TOOLS (48)},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6141},
  year      = {2010},
  isbn      = {978-3-642-13952-9},
  ee        = {http://dx.doi.org/10.1007/978-3-642-13953-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}