extend abstract interpretation description
extend abstract interpretation description
extend deductive verification description
merging conflict
CEA/FhG application story
CEA/FhG application story
Merge pull request #40 from vprevosto/local

CEA/FhG application story