Differences

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

--- start [2013/03/20 14:52] – jonathan
+++ start [2013/03/20 14:52] (current) – jonathan
@@ Line 40: / Line 40: @@
   *Compare the theory with classical Hoare Logic and the Dijkstra weakest precondition calculus .
-Chapters 1, 2, 3, 4, 5 9 and 15 from the text [[http://www.event-b.org/abook.html|Modeling in Event-B: System and Software Engineering]], Jean-Raymond Abrial (Cambridge) makes this a possible textbook for the course.
+Chapters 1, 2, 3, 4, 5, 9 and 15 from the text [[http://www.event-b.org/abook.html|Modeling in Event-B: System and Software Engineering]], Jean-Raymond Abrial (Cambridge) makes this a possible textbook for the course.