%0 Journal Article %1 journals/csur/Benton96 %A Benton, P. N. %D 1996 %J ACM Comput. Surv. %K dblp %N 2 %P 321-323 %T On the Relationship Between Formal Semantics and Static Analysis. %U http://dblp.uni-trier.de/db/journals/csur/csur28.html#Benton96 %V 28

@article{journals/csur/Benton96, added-at = {2018-11-06T00:00:00.000+0100}, author = {Benton, P. N.}, biburl = {https://www.bibsonomy.org/bibtex/2c04df0c131b27d0a9b639f2221a58d94/dblp}, ee = {https://doi.org/10.1145/234528.234739}, interhash = {1133ac89d0106cb29022a40c24ab2f7f}, intrahash = {c04df0c131b27d0a9b639f2221a58d94}, journal = {ACM Comput. Surv.}, keywords = {dblp}, number = 2, pages = {321-323}, timestamp = {2018-11-07T12:08:08.000+0100}, title = {On the Relationship Between Formal Semantics and Static Analysis.}, url = {http://dblp.uni-trier.de/db/journals/csur/csur28.html#Benton96}, volume = 28, year = 1996 }