%0 Conference Paper %1 conf/tacas/KroeningT14 %A Kroening, Daniel %A Tautschnig, Michael %B TACAS %D 2014 %E Ábrahám, Erika %E Havelund, Klaus %I Springer %K dblp %P 389-391 %T CBMC - C Bounded Model Checker - (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#KroeningT14 %V 8413 %@ 978-3-642-54861-1

@inproceedings{conf/tacas/KroeningT14, added-at = {2018-06-26T00:00:00.000+0200}, author = {Kroening, Daniel and Tautschnig, Michael}, biburl = {https://www.bibsonomy.org/bibtex/20540b3a1586b02dede9d96098ccfc638/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2014}, editor = {Ábrahám, Erika and Havelund, Klaus}, ee = {https://doi.org/10.1007/978-3-642-54862-8_26}, interhash = {9367cd1ed1369a52f2dc49c1ecf7d427}, intrahash = {0540b3a1586b02dede9d96098ccfc638}, isbn = {978-3-642-54861-1}, keywords = {dblp}, pages = {389-391}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:37:04.000+0200}, title = {CBMC - C Bounded Model Checker - (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#KroeningT14}, volume = 8413, year = 2014 }