%0 Journal Article %1 journals/toplas/MannaW80 %A Manna, Zohar %A Waldinger, Richard J. %D 1980 %J ACM Trans. Program. Lang. Syst. %K dblp %N 1 %P 90-121 %T A Deductive Approach to Program Synthesis. %U http://dblp.uni-trier.de/db/journals/toplas/toplas2.html#MannaW80 %V 2

@article{journals/toplas/MannaW80, added-at = {2018-11-14T00:00:00.000+0100}, author = {Manna, Zohar and Waldinger, Richard J.}, biburl = {https://www.bibsonomy.org/bibtex/253a07a87ac238459366b965377557144/dblp}, ee = {https://www.wikidata.org/entity/Q29026674}, interhash = {3d47f313e78a347ea912958f3a7f0f17}, intrahash = {53a07a87ac238459366b965377557144}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 1, pages = {90-121}, timestamp = {2018-11-15T15:39:38.000+0100}, title = {A Deductive Approach to Program Synthesis.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas2.html#MannaW80}, volume = 2, year = 1980 }