Marco Roveri · 2 obras en el catálogoObrasSoftware Engineering and Formal Methods : SEFM 2017 Collocated WorkshopsFFormal Methods for Industrial Critical SystemsFormal Methods for Industrial Critical Systems