@inproceedings{Heizmann:2009:RTA:1615441.1615450,
    Address = {Berlin, Heidelberg},
    Author = {Heizmann, Matthias and Hoenicke, Jochen and Podelski, Andreas},
    BookTitle = {Proceedings of the 16th International Symposium on Static Analysis},
    File = {Refinement of Trace Abstraction - Heizmann, Hoenicke, Podelski (0) (0) - a - a - h.pdf},
    ISBN = {978-3-642-03236-3},
    Keywords = {partial correctness and software model checking},
    Location = {Los Angeles, CA},
    Pages = {69--85},
    Publisher = {Springer-Verlag},
    Series = {SAS '09},
    Title = {Refinement of Trace Abstraction},
    URL = {http://dx.doi.org/10.1007/978-3-642-03237-0\_7},
    Year = {2009},
    acmid = {1615450},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-03237-0\_7},
    date-added = {2013-01-22 13:49:02 +0000},
    date-modified = {2013-01-22 14:53:56 +0000},
    file-2 = {Refinement of Trace Abstraction - Heizmann, Hoenicke, Podelski (1) (0) - a - a - h.pdf},
    numpages = {17},
    doi = {10.1007/978-3-642-03237-0_7}
}

@inproceedings{Heizmann:2009:RTA:1615441.1615450, Address = {Berlin, Heidelberg}, Author = {Heizmann, Matthias and Hoenicke, Jochen and Podelski, Andreas}, BookTitle = {Proceedings of the 16th International Symposium on Static Analysis}, File = {Refinement of Trace Abstraction - Heizmann, Hoenicke, Podelski (0) (0) - a - a - h.pdf}, ISBN = {978-3-642-03236-3}, Keywords = {partial correctness and software model checking}, Location = {Los Angeles, CA}, Pages = {69--85}, Publisher = {Springer-Verlag}, Series = {SAS '09}, Title = {Refinement of Trace Abstraction}, URL = {http://dx.doi.org/10.1007/978-3-642-03237-0_7}, Year = {2009}, acmid = {1615450}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-03237-0_7}, date-added = {2013-01-22 13:49:02 +0000}, date-modified = {2013-01-22 14:53:56 +0000}, file-2 = {Refinement of Trace Abstraction - Heizmann, Hoenicke, Podelski (1) (0) - a - a - h.pdf}, numpages = {17}, doi = {10.1007/978-3-642-03237-0_7} }