@inproceedings{DBLP:conf/quatic/LamprechtNMS10,
  author    = {Anna-Lena Lamprecht and
               Stefan Naujokat and
               Tiziana Margaria and
               Bernhard Steffen},
  title     = {Synthesis-Based Loose Programming},
  booktitle = {QUATIC},
  year      = {2010},
  pages     = {262-267},
  ee        = {http://dx.doi.org/10.1109/QUATIC.2010.53},
  crossref  = {DBLP:conf/quatic/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/quatic/2010,
  editor    = {Fernando Brito e Abreu and
               Jo{\~a}o Pascoal Faria and
               Ricardo Jorge Machado},
  title     = {Quality of Information and Communications Technology, 7th
               International Conference on the Quality of Information and
               Communications Technology, QUATIC 2010, Porto, Portugal,
               29 September - 2 October, 2010, Proceedings},
  booktitle = {QUATIC},
  publisher = {IEEE Computer Society},
  year      = {2010},
  isbn      = {978-0-7695-4241-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}