AboutSign inJoin
Modeling in Event-B

Modeling in Event-B System and Software Engineering

Jean-Raymond Abrial — 2010
A practical introduction to this model-based formal method, containing a broad range of illustrative examples.
Sign up to use