Event-B Language
From Event-B
Revision as of 15:48, 19 June 2009 by imported>Son (→Slides and Rodin Platform archives of the developments corresponding to chapters of the books)
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]
Slides and Rodin Platform archives of the developments corresponding to chapters of the books
- Chapter 1: Introduction