%0 Journal Article %1 journals/entcs/LogozzoC05 %A Logozzo, Francesco %A Cortesi, Agostino %D 2005 %J Electron. Notes Theor. Comput. Sci. %K %P 75-84 %T Abstract Interpretation and Object-oriented Programming: Quo Vadis? %U http://dblp.uni-trier.de/db/journals/entcs/entcs131.html#LogozzoC05 %V 131

@article{journals/entcs/LogozzoC05, added-at = {2023-12-14T14:20:13.000+0100}, author = {Logozzo, Francesco and Cortesi, Agostino}, biburl = {https://www.bibsonomy.org/bibtex/20d7d04c6188461e0737a2d68c3ca5f45/admin}, ee = {https://doi.org/10.1016/j.entcs.2005.01.024}, interhash = {deaf7a2f0a3ef9a41a5afcdebad9ad75}, intrahash = {0d7d04c6188461e0737a2d68c3ca5f45}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, pages = {75-84}, timestamp = {2023-12-14T14:20:13.000+0100}, title = {Abstract Interpretation and Object-oriented Programming: Quo Vadis?}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs131.html#LogozzoC05}, volume = 131, year = 2005 }