Rodin Workshop 2018 CFP: 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.

16 October 2017

  • curprev 09:5809:58, 16 October 2017imported>Colin 1,964 bytes +71 No edit summary
  • curprev 09:5709:57, 16 October 2017imported>Colin 1,893 bytes +1,893 Created page with " == The 7th Rodin User and Developer Workshop, 5-8 June, 2018, Southampton, UK == http://wiki.event-b.org/index.php/Rodin_Workshop_2018 Event-B is a formal method for syste..."