Verifying C++ with STL containers via predicate abstraction (ASE '07 Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, 2007)

(untitled) - Blanc, N; Groce, A; Kroening, D