Publications A library modeling language for the static analysis of C programs A library modeling language for the static analysis of C programs Abdelraouf Ouadjaout Antoine Miné PDF DOI
