TY  - BOOK
AU  - Abrial, Jean-Raymond
TI  - Modeling in event-B: system and software engineering
SN  - 9780521895569
U1  - 004.0151 
PY  - 2010///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Formal methods (Computer science)
ER  -