BibTeX record conf/tools/RenggliDGN10

• > Home > conf/tools/RenggliDGN10

@inproceedings{DBLP:conf/tools/RenggliDGN10,
  author       = {Lukas Renggli and
                  St{\'{e}}phane Ducasse and
                  Tudor G{\^{\i}}rba and
                  Oscar Nierstrasz},
  editor       = {Jan Vitek},
  title        = {Domain-Specific Program Checking},
  booktitle    = {Objects, Models, Components, Patterns, 48th International Conference,
                  {TOOLS} 2010, M{\'{a}}laga, Spain, June 28 - July 2, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6141},
  pages        = {213--232},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13953-6\_12},
  doi          = {10.1007/978-3-642-13953-6\_12},
  timestamp    = {Sun, 02 Jun 2019 21:16:54 +0200},
  biburl       = {https://dblp.org/rec/conf/tools/RenggliDGN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}