TY  - BOOK
AU  - Javier Campos; Carla Seatzu; Xiaolan Xie
TI  - Formal Methods in Manufacturing
SN  - 9781315216140
PB  - Taylor and Francis
UR  - http://www.taylorfrancis.com/books/9781315216140
ER  -