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