TY  - GEN
AU  - Boulanger, Jean-Louis Boulanger
TI  - Formal Methods: Industrial Use from Model to the Code 
SN  - 9781848213623
U1  - 385.028553 23
PY  - 2012///
CY  - Hoboken, New Jersey
PB  - John Wiley & Sons
KW  - Railroads
KW  - Management
KW  - Formal methods
KW  - Application software
N1  - Includes bibliographical references and index
UR  - https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781118561898?download=true
ER  -