For Users. There is an overview at Tasking Event-B Overview for D32[11] There is a wiki page at Code Generation Activity[12] There is a tutorial at Code Generation Tutorial[13]
Appears in 2 contracts
Sources: Grant Agreement, Grant Agreement
For Users. There is an overview at Tasking Event-B Overview for D32[11] There is a wiki page at Code Generation Activity[12] There is a tutorial at Code Generation Tutorial[13]
Appears in 2 contracts
Sources: Grant Agreement, Grant Agreement