%0 Journal Article %1 journals/scp/CacheraJJK14 %A Cachera, David %A Jensen, Thomas P. %A Jobin, Arnaud %A Kirchner, Florent %D 2014 %J Sci. Comput. Program. %K %P 89-109 %T Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases. %U http://dblp.uni-trier.de/db/journals/scp/scp93.html#CacheraJJK14 %V 93

@article{journals/scp/CacheraJJK14, added-at = {2023-12-12T22:08:58.000+0100}, author = {Cachera, David and Jensen, Thomas P. and Jobin, Arnaud and Kirchner, Florent}, biburl = {https://www.bibsonomy.org/bibtex/2671fd98896ab42871020652308dfc5e7/admin}, ee = {http://dx.doi.org/10.1016/j.scico.2014.02.028}, interhash = {478637a2b74f0327d27a1ae2fcd8d345}, intrahash = {671fd98896ab42871020652308dfc5e7}, journal = {Sci. Comput. Program.}, keywords = {}, pages = {89-109}, timestamp = {2023-12-12T22:08:58.000+0100}, title = {Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp93.html#CacheraJJK14}, volume = 93, year = 2014 }