%0 Journal Article %1 journals/ipl/GulavaniCNR10 %A Gulavani, Bhargav S. %A Chakraborty, Supratik %A Nori, Aditya V. %A Rajamani, Sriram K. %D 2010 %J Inf. Process. Lett. %K dblp %N 16 %P 666-671 %T Refining abstract interpretations. %U http://dblp.uni-trier.de/db/journals/ipl/ipl110.html#GulavaniCNR10 %V 110

@article{journals/ipl/GulavaniCNR10, added-at = {2010-11-05T00:00:00.000+0100}, author = {Gulavani, Bhargav S. and Chakraborty, Supratik and Nori, Aditya V. and Rajamani, Sriram K.}, biburl = {https://www.bibsonomy.org/bibtex/20b343521d902a8cfff2ebd3ba8bb2636/dblp}, ee = {http://dx.doi.org/10.1016/j.ipl.2010.05.021}, interhash = {6fdf45b676df603e1bdf7cb36016b485}, intrahash = {0b343521d902a8cfff2ebd3ba8bb2636}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 16, pages = {666-671}, timestamp = {2010-11-06T11:32:36.000+0100}, title = {Refining abstract interpretations.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl110.html#GulavaniCNR10}, volume = 110, year = 2010 }