TY  - BOOK
AU  - Abrial, Jean-Raymond
TI  - Modeling in events B: System and software engineering
SN  - 978-0-521-89556-9
U1  - 004.0151 ABR 
PY  - 2010///
KW  - Computer Science
KW  - Modeling, event b
N1  - Faculty, students and Staff
UR  - https://libgen.is/book/index.php?md5=276A1128F886922BA835D529FE0E2A81
ER  -