Skip to main content

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