Marco Roveri

• Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops
• Formal Methods for Industrial Critical Systems