@inproceedings{DBLP:conf/tacas/SchrammelK16,
  title = "2LS for Program Analysis - (Competition Contribution)",
  author = "Peter Schrammel and Daniel Kroening",
  year = "2016",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems, {TACAS} 2016",
  pages = "905--907",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-662-49674-9_56",
  volume = "9636",
}