Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav. 09501 Abstracts Collection - Software Synthesis. In 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]
@inproceedings{BodikKSY09, title = {09501 Abstracts Collection - Software Synthesis}, author = {Rastislav Bodík and Orna Kupferman and Douglas R. Smith and Eran Yahav}, year = {2009}, url = {http://drops.dagstuhl.de/opus/volltexte/2010/2669/}, researchr = {https://researchr.org/publication/BodikKSY09}, cites = {0}, citedby = {0}, booktitle = {Software Synthesis, 06.12. - 11.12.2009}, 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}, }