@inproceedings{bgk2007,
  title = "Verifying {C++} with {STL} Containers via Predicate Abstraction",
  author = "Blanc, Nicolas and Groce, Alex and Kroening, Daniel",
  year = "2007",
  booktitle = "22nd IEEE International Conference on Automated Software Engineering (ASE)",
  isbn = "978-1-59593-882-4",
  pages = "521--524",
  publisher = "IEEE",
}