%0 Conference Paper %1 conf/sas/Bodik09 %A Bodík, Rastislav %B SAS %D 2009 %E Palsberg, Jens %E Su, Zhendong %I Springer %K dblp %P 1 %T Algorithmic Program Synthesis with Partial Programs and Decision Procedures. %U http://dblp.uni-trier.de/db/conf/sas/sas2009.html#Bodik09 %V 5673 %@ 978-3-642-03236-3

@inproceedings{conf/sas/Bodik09, added-at = {2018-06-26T00:00:00.000+0200}, author = {Bodík, Rastislav}, biburl = {https://www.bibsonomy.org/bibtex/251110b68bb4baee1a34cde23ff77f827/dblp}, booktitle = {SAS}, crossref = {conf/sas/2009}, editor = {Palsberg, Jens and Su, Zhendong}, ee = {https://doi.org/10.1007/978-3-642-03237-0_1}, interhash = {2506a17c412d913dc4376efc7d815489}, intrahash = {51110b68bb4baee1a34cde23ff77f827}, isbn = {978-3-642-03236-3}, keywords = {dblp}, pages = 1, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:34:34.000+0200}, title = {Algorithmic Program Synthesis with Partial Programs and Decision Procedures.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2009.html#Bodik09}, volume = 5673, year = 2009 }