Browse by Author

Authors (A-Z) "Blanc, Nicolas"

2 Results for "Blanc, Nicolas"

Subscribe to RSS feed for this result set

1. Static analysis for SystemC with scoot

Blanc, Nicolas (2010)


Doctoral and Habilitation Theses

2. Verifying C++ with STL Containers via Predicate Abstraction

Blanc, Nicolas, Kröning, Daniel and Groce, Alex (2006)


Reports