TY  - BOOK
AU  - Boulange, Jean-Louis 
TI  - Industrial Use of Formal Methods : : Formal Verification 
SN  - 9781848213630 (Print)
U1  - 005.101 23
PY  - 2012///
CY  - Hoboken, New Jersey
PB  - John Wiley & Sons
KW  - Computer simulation
KW  - Systems engineering
KW  - Data processing
N1  - Includes bibliographical references and index
UR  - https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781118561829?download=true
ER  -