Event-B Modelling Language: 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.

27 October 2011

15 September 2011

7 May 2009

31 October 2008

10 September 2008

11 August 2008

10 July 2008

12 June 2008

  • curprev 12:3012:30, 12 June 2008‎ imported>WikiSysop‎ 102 bytes −1‎ No edit summary
  • curprev 12:0612:06, 12 June 2008‎ imported>WikiSysop‎ 103 bytes +103‎ New page: Event-B modelling language in PDF format: [http://deploy-eprints.ecs.soton.ac.uk/11/3/notation-1.5.pdf]
Retrieved from ‘https://wiki.event-b.org/index.php/Event-B_Modelling_Language’