Book

Formal Methods in Manufacturing

by Javier Campos, Carla Seatzu, Xiaolan Xie