Changes to the Mathematical Language of Event-B: Revision history

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

17 April 2009

7 April 2009

6 April 2009

1 April 2009

12 March 2009

10 March 2009

  • curprev 12:3312:33, 10 March 2009‎ imported>Nicolas‎ m 1,529 bytes +1,529‎ New page: This document describes the evolution of the Event-B mathematical language. The previous version of the language will still be supported. == Identity and Projections == Three operators w...
Retrieved from ‘https://wiki.event-b.org/index.php/Changes_to_the_Mathematical_Language_of_Event-B’