Matthieu Journault

Modular static analysis of string manipulations in C programs

2018 · HAL (Le Centre pour la Communication Scientifique Directe)

International audience