FMICS

ERCIM Working Group on Formal Methods for Industrial Critical Systems