TY  - BOOK
AU  - Abrial, Jean-Raymond
TI  - Modeling in Event-B / 
SN  - 9780521895569
U1  - 004.01 22
PY  - 2010///
CY  - Cambridge : 
PB  - Cambridge University Press, 
KW  - Formal methods (Computer science)
N1  - Include Index
ER  -