TY  - BOOK
AU  - Campos, Javier
TI  - Formal Methods in Manufacturing
SN  - 9781138074293
U1  - 658.5 
PY  - 2014///
PB  - CRC Press
KW  - Engineering
ER  -