Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings: 9128 (Lecture Notes in Computer Science)
by Manuel Núñez, Matthias Güdemann
ISBN 13: 9783319194578
Format: Paperback (232 pages) Publisher: Springer Published: 27 May 2015
Save for later