@inproceedings{DonaldsonHKR_SAS2011,
  title = "Software Verification Using k-Induction",
  author = "Alastair F. Donaldson and Leopold Haller and Daniel Kroening and Philipp Ruemmer",
  year = "2011",
  booktitle = "SAS",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
}