TY  - BOOK
AU  - Boulanger,Jean-Louis
TI  - Industrial used of formal method: formal verification 
SN  - 9781848213630
PY  - 2012///
CY  - Hoboken, NJ
PB  - Wiley
KW  - Systems engineering
KW  - Data processing
KW  - Computer simulation
KW  - Formal methods (Computer science)
KW  - Nondestructive testing
KW  - Computer software
KW  - Verification
N1  - Includes bibliographical references and index
ER  -