@inproceedings{DBLP:conf/sas/BrainJKS15,
  title = "{Safety Verification and Refutation by k-Invariants and k-Induction}",
  author = "Martin Brain and Saurabh Joshi and Daniel Kroening and Peter Schrammel",
  year = "2015",
  booktitle = "Static Analysis Symposium, {SAS} 2015",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "to appear",
}