Verifying C++ with STL Containers via Predicate Abstraction
Nicolas Blanc‚ Alex Groce and Daniel Kroening
Book Title
22nd IEEE International Conference on Automated Software Engineering (ASE)
ISBN
978−1−59593−882−4
Pages
521–524
Publisher
IEEE
Year
2007