%0 Journal Article %1 journals/ai/Ruth76 %A Ruth, Gregory R. %D 1976 %J Artif. Intell. %K dblp %N 1 %P 65-85 %T Intelligent Program Analysis. %U http://dblp.uni-trier.de/db/journals/ai/ai7.html#Ruth76 %V 7

@article{journals/ai/Ruth76, added-at = {2011-06-30T00:00:00.000+0200}, author = {Ruth, Gregory R.}, biburl = {https://www.bibsonomy.org/bibtex/271f8289ce57473f3bd41d1fa161ca496/dblp}, ee = {http://dx.doi.org/10.1016/0004-3702(76)90022-9}, interhash = {d1ff73677276ecc94f625d1be7dacace}, intrahash = {71f8289ce57473f3bd41d1fa161ca496}, journal = {Artif. Intell.}, keywords = {dblp}, number = 1, pages = {65-85}, timestamp = {2011-07-01T11:34:31.000+0200}, title = {Intelligent Program Analysis.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai7.html#Ruth76}, volume = 7, year = 1976 }