@inproceedings{BMC-K2005,
  title = "Computing Over-Approximations with Bounded Model Checking",
  author = "Kroening, Daniel",
  year = "2006",
  booktitle = "Proceedings of the Third International Workshop on Bounded Model Checking (BMC 2005)",
  month = "January",
  pages = "79--92",
  publisher = "Elsevier",
  series = "ENTCS",
  volume = "144",
}