@inproceedings{ckl2004,
  title = "A Tool for Checking {ANSI-C} Programs",
  author = "Clarke, Edmund and Kroening, Daniel and Lerda, Flavio",
  year = "2004",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)",
  editor = "Kurt Jensen and Andreas Podelski",
  isbn = "3-540-21299-X",
  pages = "168--176",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2988",
}