Product Description
ISBN: 9783031150074
TITLE: Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings : 13487
AUTHOR: Jan Friso Groote
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 12 Aug 2022

