Relative Completeness of Abstraction Refinement for Software Model Checking.

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

Browse the full TACAS paper archive.