%0 Journal Article %1 journals/scp/Rodriguez-CarbonellK07 %A Rodríguez-Carbonell, Enric %A Kapur, Deepak %D 2007 %J Sci. Comput. Program. %K dblp %N 1 %P 54-75 %T Automatic generation of polynomial invariants of bounded degree using abstract interpretation. %U http://dblp.uni-trier.de/db/journals/scp/scp64.html#Rodriguez-CarbonellK07 %V 64

@article{journals/scp/Rodriguez-CarbonellK07, added-at = {2022-01-03T00:00:00.000+0100}, author = {Rodríguez-Carbonell, Enric and Kapur, Deepak}, biburl = {https://www.bibsonomy.org/bibtex/2b5a0b3d34fa32414ce095942cc033c3b/dblp}, ee = {https://doi.org/10.1016/j.scico.2006.03.003}, interhash = {a58d8dbe6d0b22c7bad6b403710454b9}, intrahash = {b5a0b3d34fa32414ce095942cc033c3b}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = 1, pages = {54-75}, timestamp = {2024-04-09T05:27:49.000+0200}, title = {Automatic generation of polynomial invariants of bounded degree using abstract interpretation.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp64.html#Rodriguez-CarbonellK07}, volume = 64, year = 2007 }