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

24 May 2018

4 May 2018

27 April 2018

6 April 2018

8 March 2018

15 January 2018

16 October 2017

  • curprev 09:4509:45, 16 October 2017imported>Colin 814 bytes +814 Created page with "The 7th Rodin workshop will be collocated with the ABZ 2018 Conference: https://www.southampton.ac.uk/abz2018/ '''Theme''' This years workshop theme is ''''Event-B and Rod..."