TITLE     : Formal Methods for Industrial Critical Systems - Proceedings of the 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS'20)
AUTHOR(S) : Ter Beek Mh, Nikovi D
TYPE      : Book
YEAR      : 2020
CODE      : 429015

*** DO NOT EDIT THIS FILE ***