Product Description
ISBN: 9783030270070
TITLE: Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30???31, 2019, Proceedings : 11687
AUTHOR: Kim Guldstrand Larsen
PUBLISHER: Springer Nature Switzerland AG
PUBLISHER DATE: 25 Jul 2019