%0 Journal Article %1 journals/corr/abs-0907-2072 %A Cordeiro, Lucas C. %A Fischer, Bernd %A Marques-Silva, João %D 2009 %J CoRR %K dblp %T SMT-Based Bounded Model Checking for Embedded ANSI-C Software %U http://dblp.uni-trier.de/db/journals/corr/corr0907.html#abs-0907-2072 %V abs/0907.2072

@article{journals/corr/abs-0907-2072, added-at = {2023-04-03T00:00:00.000+0200}, author = {Cordeiro, Lucas C. and Fischer, Bernd and Marques-Silva, João}, biburl = {https://www.bibsonomy.org/bibtex/25a6a3a7d8465b4ce9a7959e102bec336/dblp}, ee = {http://arxiv.org/abs/0907.2072}, interhash = {e443cfca86098fe404989ac66a2bbc2e}, intrahash = {5a6a3a7d8465b4ce9a7959e102bec336}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:23:27.000+0200}, title = {SMT-Based Bounded Model Checking for Embedded ANSI-C Software}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0907.html#abs-0907-2072}, volume = {abs/0907.2072}, year = 2009 }