%0 Conference Paper %1 conf/dagstuhl/BodikKSY09 %A Bodík, Rastislav %A Kupferman, Orna %A Smith, Douglas R. %A Yahav, Eran %B Software Synthesis %D 2009 %E Bodík, Rastislav %E Kupferman, Orna %E Smith, Douglas R. %E Yahav, Eran %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany %K dblp %T 09501 Abstracts Collection - Software Synthesis. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P9501.html#BodikKSY09 %V 09501

@inproceedings{conf/dagstuhl/BodikKSY09, added-at = {2018-08-23T00:00:00.000+0200}, author = {Bodík, Rastislav and Kupferman, Orna and Smith, Douglas R. and Yahav, Eran}, biburl = {https://www.bibsonomy.org/bibtex/24ff089afeac1264b6c101fd808734e2d/dblp}, booktitle = {Software Synthesis}, crossref = {conf/dagstuhl/2009P9501}, editor = {Bodík, Rastislav and Kupferman, Orna and Smith, Douglas R. and Yahav, Eran}, ee = {http://drops.dagstuhl.de/opus/volltexte/2010/2669/}, interhash = {be7bb8edb3fc9fe6d2fcc1d1c564cb75}, intrahash = {4ff089afeac1264b6c101fd808734e2d}, keywords = {dblp}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:23:32.000+0200}, title = {09501 Abstracts Collection - Software Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P9501.html#BodikKSY09}, volume = 09501, year = 2009 }