%0 Journal Article %1 journals/corr/abs-1304-4499 %A Alberti, Francesco %A Ghilardi, Silvio %A Sharygina, Natasha %D 2013 %J CoRR %K dblp %T Abstraction and Acceleration in SMT-based Model-Checking for Array Programs %U http://dblp.uni-trier.de/db/journals/corr/corr1304.html#abs-1304-4499 %V abs/1304.4499

@article{journals/corr/abs-1304-4499, added-at = {2018-08-13T00:00:00.000+0200}, author = {Alberti, Francesco and Ghilardi, Silvio and Sharygina, Natasha}, biburl = {https://www.bibsonomy.org/bibtex/2512d7a5de7877fbb55e77746fac777a5/dblp}, ee = {http://arxiv.org/abs/1304.4499}, interhash = {f302a28bb314c6f7fd676e20ae610da9}, intrahash = {512d7a5de7877fbb55e77746fac777a5}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:55:05.000+0200}, title = {Abstraction and Acceleration in SMT-based Model-Checking for Array Programs}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1304.html#abs-1304-4499}, volume = {abs/1304.4499}, year = 2013 }