Revision history of "Rodin Workshop 2018 CFP"

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio boxes 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.

  • curprev 09:58, 16 October 2017imported>Colin 1,964 bytes +71
  • curprev 09: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..."