Differences

This shows you the differences between two versions of the page.

--- course_outline [2017/04/03 04:16] – jonathan
+++ course_outline [2017/12/27 18:17] (current) – jonathan
@@ Line 4: / Line 4: @@
 ===== Introduction =====
-  * {{:01-intro-bank.pdf|Simple Bank System}}. Introduction to Specification and Refinement.
+Use this small project to get started with Event-B and the Rodin tool
+  * {{:01-intro-bank.pdf|Simple Bank System}}. Introduction to Specification and Refinement.
+  * [[https://youtu.be/aROKK2HKhog|Video Presentation]]
 ===== Reactive systems: Bridge =====