%0 Journal Article %1 journals/corr/abs-1202-0788 %A Obdrzálek, Jan %A Slaby, Jiri %A Trtík, Marek %D 2012 %J CoRR %K dblp %T STANSE: Bug-finding Framework for C Programs %U http://dblp.uni-trier.de/db/journals/corr/corr1202.html#abs-1202-0788 %V abs/1202.0788

@article{journals/corr/abs-1202-0788, added-at = {2018-08-13T00:00:00.000+0200}, author = {Obdrzálek, Jan and Slaby, Jiri and Trtík, Marek}, biburl = {https://www.bibsonomy.org/bibtex/2ef10d7f377a3dc28bacc9695e1a2ba2f/dblp}, ee = {http://arxiv.org/abs/1202.0788}, interhash = {43b614679ca545918d3bdcac5e79b4dc}, intrahash = {ef10d7f377a3dc28bacc9695e1a2ba2f}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T12:41:45.000+0200}, title = {STANSE: Bug-finding Framework for C Programs}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1202.html#abs-1202-0788}, volume = {abs/1202.0788}, year = 2012 }