%0 Conference Paper %1 conf/tacas/BaslerDKKTW12 %A Basler, Gérard %A Donaldson, Alastair F. %A Kaiser, Alexander %A Kroening, Daniel %A Tautschnig, Michael %A Wahl, Thomas %B TACAS %D 2012 %E Flanagan, Cormac %E König, Barbara %I Springer %K %P 552-555 %T satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2012.html#BaslerDKKTW12 %V 7214 %@ 978-3-642-28755-8

@inproceedings{conf/tacas/BaslerDKKTW12, added-at = {2023-12-13T01:08:43.000+0100}, author = {Basler, Gérard and Donaldson, Alastair F. and Kaiser, Alexander and Kroening, Daniel and Tautschnig, Michael and Wahl, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2f19521af055170f13caca4c126230a8b/admin}, booktitle = {TACAS}, crossref = {conf/tacas/2012}, editor = {Flanagan, Cormac and König, Barbara}, ee = {https://doi.org/10.1007/978-3-642-28756-5_47}, interhash = {6d6683c6d20a87de152982653ae0b7df}, intrahash = {f19521af055170f13caca4c126230a8b}, isbn = {978-3-642-28755-8}, keywords = {}, pages = {552-555}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:08:43.000+0100}, title = {satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2012.html#BaslerDKKTW12}, volume = 7214, year = 2012 }