TY  - BOOK
AU  - Boulanger,Jean-Louis
TI  - Formal methods applied to complex systems: implementation of the B method 
T2  - Computer Engineering Series
AV  - QA76.9.B22 .F676 2014
U1  - 005.1 23
PY  - 2014///
CY  - London, England, Hoboken, New Jersey
PB  - iSTE, Wiley
KW  - B method (Computer science)
KW  - Formal methods (Computer science)
KW  - Electronic books
N1  - Includes bibliographical references and index
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=1752713
ER  -