Available Documentation. SVN Team-based development documentation[5] • Decomposition plug-in user guide [6] • Event Model decomposition for shared variable approach [7] • Decomposition tool for Event-B [8]
Appears in 2 contracts
Sources: Grant Agreement, Grant Agreement