%0 Journal Article %1 journals/corr/Kovacs17 %A Kovács, Laura %D 2017 %J CoRR %K dblp %T Symbolic Computation and Automated Reasoning for Program Analysis. %U http://dblp.uni-trier.de/db/journals/corr/corr1704.html#Kovacs17 %V abs/1704.03202

@article{journals/corr/Kovacs17, added-at = {2018-08-13T00:00:00.000+0200}, author = {Kovács, Laura}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2852670fdffdf5f67b1669ac35e7997cd/dblp}, ee = {http://arxiv.org/abs/1704.03202}, interhash = {64dcc78ec6898d73dc137455741f5bef}, intrahash = {852670fdffdf5f67b1669ac35e7997cd}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T08:59:56.000+0200}, title = {Symbolic Computation and Automated Reasoning for Program Analysis.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1704.html#Kovacs17}, volume = {abs/1704.03202}, year = 2017 }