Javier Campos; Carla Seatzu; Xiaolan Xie <br/><br/>
Formal Methods in Manufacturing 

 -  Taylor and Francis  2014 
<br/><br/><label>ISBN: </label>9781315216140 
<br/><br/><label>Source: </label>EBOOK