TY  - GEN
AU  - Boulanger, Jean-Louis.
CN  - TF507
CY  - London :
CY  - Hoboken, N.J. :
DA  - 2012.
ID  - 746603
KW  - Railroads
KW  - Formal methods (Computer science)
KW  - Application software
LK  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10671509
PB  - ISTE ;
PB  - Wiley,
PP  - London :
PP  - Hoboken, N.J. :
PY  - 2012.
SN  - 9781118614389
T1  - Formal methodindustrial use from model to the code /
TI  - Formal methodindustrial use from model to the code /
UR  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10671509
ER  -