Language of an Event-B Component
From Event-B
Revision as of 11:10, 20 November 2013 by imported>Laurent (Layout)
Since the introduction of mathematical extensions in Rodin 2.0, Event-B components can use extended version of the Event-B mathematical language. This page described how this is organized in the core platform.