FMICS 2021:
26th International Conference on Formal Methods for Industrial Critical Systems

I am a member of the Program Committee of FMICS 2021, which will be held as part of QONFEST in Paris, France from 23rd to 27th August 2021.

Submit your best work through EasyChair!