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