Searching for authors named "Nicolas Blanc" – sorted by Relevance.
-
Verifying C++ with STL containers via predicate abstraction
- ABSTRACT Verifying C++ with STL Containers via Predicate Abstraction Nicolas Blanc ∗ Computer
- Cited by 1 (0 self) – Add To MetaCart

