Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science)
by Frédéric Lang,Francesco Flammini
ISBN 13: 9783319107011
Format: Paperback (216 pages) Publisher: Springer Published: 20 Aug 2014
Save for later