TITLE     : Integrated Formal Methods - Proceedings of the 17th International Conference on Integrated Formal Methods (IFM'22)
AUTHOR(S) : Mh Ter Beek, R Monahan
TYPE      : Book
YEAR      : 2022
CODE      : 467959

*** DO NOT EDIT THIS FILE ***