2 works on record
Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops
Formal Methods for Industrial Critical Systems