%0 Journal Article %1 journals/tse/CheathamHT79 %A Jr., Thomas E. Cheatham %A Holloway, Glenn H. %A Townley, Judy A. %D 1979 %J IEEE Trans. Software Eng. %K dblp %N 4 %P 402-417 %T Symbolic Evaluation and the Analysis of Programs. %U http://dblp.uni-trier.de/db/journals/tse/tse5.html#CheathamHT79 %V 5

@article{journals/tse/CheathamHT79, added-at = {2015-12-10T00:00:00.000+0100}, author = {Jr., Thomas E. Cheatham and Holloway, Glenn H. and Townley, Judy A.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28472649ccd3420481d2ca34dbb3cdc0d/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1979.234207}, interhash = {33a9909246740ea6452217db76959450}, intrahash = {8472649ccd3420481d2ca34dbb3cdc0d}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 4, pages = {402-417}, timestamp = {2016-02-02T09:33:35.000+0100}, title = {Symbolic Evaluation and the Analysis of Programs.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse5.html#CheathamHT79}, volume = 5, year = 1979 }