@inproceedings{HenzingerJhalaMajumdarMcMillan:POPL:2004,
    Address = {New York, NY, USA},
    Author = {Henzinger, Thomas A. and Jhala, Ranjit and Majumdar, Rupak and McMillan, Kenneth L.},
    BookTitle = {Proc. of POPL'04},
    File = {Abstractions from Proofs - Henzinger, Jhala, Majumdar, McMillan (0) (0) - a - a - i.pdf},
    ISBN = {1-58113-729-X},
    Keywords = {counterexample analysis, predicate abstraction, software model checking},
    Location = {Venice, Italy},
    Pages = {232--244},
    Publisher = {ACM},
    Series = {POPL'04},
    Title = {Abstractions from Proofs},
    URL = {http://doi.acm.org/10.1145/964001.964021},
    Year = {2004},
    acmid = {964021},
    bdsk-url-1 = {http://doi.acm.org/10.1145/964001.964021},
    bdsk-url-2 = {http://dx.doi.org/10.1145/964001.964021},
    date-added = {2016-01-29 17:16:50 +0000},
    date-modified = {2016-01-29 17:18:07 +0000},
    numpages = {13},
    doi = {10.1145/964001.964021}
}

@inproceedings{HenzingerJhalaMajumdarMcMillan:POPL:2004, Address = {New York, NY, USA}, Author = {Henzinger, Thomas A. and Jhala, Ranjit and Majumdar, Rupak and McMillan, Kenneth L.}, BookTitle = {Proc. of POPL'04}, File = {Abstractions from Proofs - Henzinger, Jhala, Majumdar, McMillan (0) (0) - a - a - i.pdf}, ISBN = {1-58113-729-X}, Keywords = {counterexample analysis, predicate abstraction, software model checking}, Location = {Venice, Italy}, Pages = {232--244}, Publisher = {ACM}, Series = {POPL'04}, Title = {Abstractions from Proofs}, URL = {http://doi.acm.org/10.1145/964001.964021}, Year = {2004}, acmid = {964021}, bdsk-url-1 = {http://doi.acm.org/10.1145/964001.964021}, bdsk-url-2 = {http://dx.doi.org/10.1145/964001.964021}, date-added = {2016-01-29 17:16:50 +0000}, date-modified = {2016-01-29 17:18:07 +0000}, numpages = {13}, doi = {10.1145/964001.964021} }