Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav, editors, Software Synthesis, 06.12. - 11.12.2009. Volume 09501 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009. [doi]
Conference: Dagstuhl2009
@proceedings{dagstuhl-2009P9501,
title = {Software Synthesis, 06.12. - 11.12.2009},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09501/},
researchr = {https://researchr.org/publication/dagstuhl-2009P9501},
cites = {0},
citedby = {0},
booktitle = {Software Synthesis, 06.12. - 11.12.2009},
conference = {Dagstuhl},
editor = {Rastislav Bodík and Orna Kupferman and Douglas R. Smith and Eran Yahav},
volume = {09501},
series = {Dagstuhl Seminar Proceedings},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
}