Reference:

Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko. Predicate abstraction and refinement for verifying multi-threaded programs. In Ball and Sagiv, pages 331–344.

Suggested BibTeX entry:

@inproceedings{DBLP:confpoplGuptaPR11,
    author = {Ashutosh Gupta and Corneliu Popeea and Andrey Rybalchenko},
    booktitle = {POPL},
    editor = {Thomas Ball and Mooly Sagiv},
    pages = {331-344},
    publisher = {ACM},
    title = {Predicate abstraction and refinement for verifying multi-threaded programs},
    year = {2011}
}