TY  - GEN
AU  - Boulange,  Jean-Lois
ED  - Pomerol, Jean-Charles 
TI  - Formal methods applied to complex systems: implementation of the B method. 
T2  - Computer engineering series
SN  - 9781848217096
U1  - 004.0151 23
PY  - 2014///
CY  - London
PB  - ISTE, 
KW  - Formal methods (Computer science)
KW  - B method (Computer science)
KW  - Computer science
KW  - Mathematical models
N1  - Includes bibliographical references and index
UR  - https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781119002727?download=true
ER  -