%0 Conference Paper %1 conf/kbse/CordeiroFM09 %A Cordeiro, Lucas C. %A Fischer, Bernd %A Marques-Silva, João %B ASE %D 2009 %I IEEE Computer Society %K dblp %P 137-148 %T SMT-Based Bounded Model Checking for Embedded ANSI-C Software. %U http://dblp.uni-trier.de/db/conf/kbse/ase2009.html#CordeiroFM09 %@ 978-0-7695-3891-4

@inproceedings{conf/kbse/CordeiroFM09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Cordeiro, Lucas C. and Fischer, Bernd and Marques-Silva, João}, biburl = {https://www.bibsonomy.org/bibtex/27b95cd2dd14b7a56987c0184f7f08065/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2009}, ee = {https://www.wikidata.org/entity/Q57658818}, interhash = {e443cfca86098fe404989ac66a2bbc2e}, intrahash = {7b95cd2dd14b7a56987c0184f7f08065}, isbn = {978-0-7695-3891-4}, keywords = {dblp}, pages = {137-148}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:49:49.000+0200}, title = {SMT-Based Bounded Model Checking for Embedded ANSI-C Software.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2009.html#CordeiroFM09}, year = 2009 }