%0 Journal Article %1 journals/corr/abs-1203-5303 %A Zuleger, Florian %A Gulwani, Sumit %A Sinn, Moritz %A Veith, Helmut %D 2012 %J CoRR %K dblp %T Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version) %U http://dblp.uni-trier.de/db/journals/corr/corr1203.html#abs-1203-5303 %V abs/1203.5303

@article{journals/corr/abs-1203-5303, added-at = {2018-08-13T00:00:00.000+0200}, author = {Zuleger, Florian and Gulwani, Sumit and Sinn, Moritz and Veith, Helmut}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/215b6c2975e6b36a2101d5c4dc330cf81/dblp}, ee = {http://arxiv.org/abs/1203.5303}, interhash = {f50e289d089fa4b538336937d7456a35}, intrahash = {15b6c2975e6b36a2101d5c4dc330cf81}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:21:59.000+0200}, title = {Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1203.html#abs-1203-5303}, volume = {abs/1203.5303}, year = 2012 }