@inproceedings{tacas2007-clqr,
  author = {Shaunak Chatterjee and Shuvendu K. Lahiri and Shaz Qadeer and Zvonimir Rakamari\'c},
  title = {A Reachability Predicate for Analyzing Low-Level Software},
  booktitle = {Proceedings of the 13th International Conference on Tools and
               Algorithms for the Construction and Analysis of Systems (TACAS 2007)},
  series = {Lecture Notes in Computer Science},
  volume = {4424},
  publisher = {Springer},
  editor = {Orna Grumberg and Michael Huth},
  isbn = {978-3-540-71208-4},
  year = {2007},
  pages = {19--33}
}