Product Description
ISBN: 9783319107011
TITLE: Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings : 8718
AUTHOR: Frederic Lang
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 20 Aug 2014