The present deliverables have been written according to fixed guidelines. Each of them was under the coordination of one partner, with the participation of various other partners:
Deliverable Coordinator Involved Partners 0.1.1 Inria-Spectre All 0.2.1 Inria-Spectre All 2.1 GMD GMD, Inria-Spectre, Inria-Meije 3.1.1 Inria-Meije Inria-Meije, Inria-EpAtr 3.2.1 Logikkonsult Logikkonsult, Inria-Spectre 3.3.1 Inria-Spectre Inria-Spectre 3.4.1 Inria-Spectre Inria-Spectre 3.5.1 Inria-Spectre Inria-Spectre 4.1 Inria-EpAtr Inria-EpAtr 5.1.1 Inria-Meije Inria-Meije 5.2.1 Inria-EpAtr Inria-EpAtr 6.1.1 Inria-EpAtr Inria-EpAtr 6.2.1 Inria-EpAtr Inria-EpAtr 7.1 Linkoping Linkoping,Inria-Spectre