%0 Journal Article %1 journals/toplas/LeinoN02 %A Leino, K. Rustan M. %A Nelson, Greg %D 2002 %J ACM Trans. Program. Lang. Syst. %K dblp %N 5 %P 491-553 %T Data abstraction and information hiding. %U http://dblp.uni-trier.de/db/journals/toplas/toplas24.html#LeinoN02 %V 24

@article{journals/toplas/LeinoN02, added-at = {2018-11-06T00:00:00.000+0100}, author = {Leino, K. Rustan M. and Nelson, Greg}, biburl = {https://www.bibsonomy.org/bibtex/204cd4648bae30155b5c02744105a56c7/dblp}, ee = {https://doi.org/10.1145/570886.570888}, interhash = {4a3f0b74d38026fff2dedccbac6d1f56}, intrahash = {04cd4648bae30155b5c02744105a56c7}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 5, pages = {491-553}, timestamp = {2018-11-07T12:36:56.000+0100}, title = {Data abstraction and information hiding.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas24.html#LeinoN02}, volume = 24, year = 2002 }