extend abstract interpretation description
extend abstract interpretation description
extend deductive verification description
Merge pull request #39 from srieger/master

Added planned activities to Sct. 6, minor corrections to Sct. 5 contribution
Uni Bremen chap 5.3 part refine
SQS contribution to section 6.1
Added subsections to Chapter 6.1
doc info adapted
Chap6 Uni Bremen contribution first version #21
Chap6 Uni Bremen contribution first version #21
Refine Uni Bremen Chap6 Contribution #21
Restructuring latest additions (SQS)
Resolved merge conflicts (Cecile-Hardi)
Resolved merge conflicts (Cecile-Hardi)
minor
merging conflict
CEA/FhG application story
CEA/FhG application story
Merge pull request #40 from vprevosto/local

CEA/FhG application story
First steps of URO and TWT