TY  - BOOK
A2  - Jean-Raymond Abrial.
AU  - Abrial, Jean-Raymond.
NV  - XXVI, 586 s. :
PY  - 2010
SN  - 9780521895569
TI  - Modeling in Event-B : system and software engineering /
ER  -