Modularisation Plug-in Composition Semantics
From Event-B
Revision as of 12:10, 22 October 2009 by imported>Alexili (New page: {{TODO|This is an internal draft document}} ==Approach 1: Reducing to A-style== ==Approach 2: Atomicity Refinement==)
TODO: This is an internal draft document