@inproceedings{BCDR2004,
author = "Thomas Ball and Byron Cook and Satyaki Das and Sriram Rajamani",
title = "Refining Approximations in Software Predicate Abstraction",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",
pages = "388--403",
year = "2004",
month = "March",
publisher = "Springer-Verlag",
location = "Barcelona, Spain"
}