@inproceedings{DBLP:conf/tacas/ClarkeKL04, author = {Edmund M. Clarke and Daniel Kroening and Flavio Lerda}, title = {{A Tool for Checking ANSI-C Programs}}, booktitle = {Lecture Notes in Computer Science, Volume 2988}, year = {2004}, pages = {168-176}, }