%0 Journal Article %1 journals/sttt/BodikJ13 %A Bodík, Rastislav %A Jobstmann, Barbara %D 2013 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 5-6 %P 397-411 %T Algorithmic program synthesis: introduction. %U http://dblp.uni-trier.de/db/journals/sttt/sttt15.html#BodikJ13 %V 15

@article{journals/sttt/BodikJ13, added-at = {2020-04-02T00:00:00.000+0200}, author = {Bodík, Rastislav and Jobstmann, Barbara}, biburl = {https://www.bibsonomy.org/bibtex/242bee22efc487126aa3ded6b239fa294/dblp}, ee = {https://doi.org/10.1007/s10009-013-0287-9}, interhash = {dc1becfe90940d9cfbb8b27b50f14f5f}, intrahash = {42bee22efc487126aa3ded6b239fa294}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = {5-6}, pages = {397-411}, timestamp = {2020-04-03T11:54:41.000+0200}, title = {Algorithmic program synthesis: introduction.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt15.html#BodikJ13}, volume = 15, year = 2013 }