Difference between revisions of "Event-B Language"
From Event-B
Jump to navigationJump to searchimported>Son |
imported>Son |
||
Line 1: | Line 1: | ||
+ | == Book: Modelling in Event-B: System and Software Engineering by Jean-Raymond Abrial == | ||
+ | === Sample Chapters of the books === | ||
+ | This is available at event-b.org [http://www.event-b.org/abook.html] | ||
+ | === Slides and Rodin Platform archives of the developments corresponding to chapters of the books === | ||
+ | |||
+ | |||
== Event-B Language Documentation == | == Event-B Language Documentation == | ||
Revision as of 15:47, 19 June 2009
Contents
Book: Modelling in Event-B: System and Software Engineering by Jean-Raymond Abrial
Sample Chapters of the books
This is available at event-b.org [1]