course_outline
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
course_outline [2017/04/03 04:16] – jonathan | course_outline [2018/01/03 02:03] (current) – jonathan | ||
---|---|---|---|
Line 4: | Line 4: | ||
===== Introduction ===== | ===== Introduction ===== | ||
+ | |||
+ | Use this small project to get started with Event-B and the Rodin tool | ||
+ | |||
* {{: | * {{: | ||
+ | * [[https:// | ||
+ | |||
course_outline.1491192977.txt.gz · Last modified: 2017/04/03 04:16 by jonathan