Formal Methods for Industrial Critical Systems: 14th Inteational Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings .. / Programming and Software Engineering)
Hardcover: 213 pages
Publisher: Springer (October 26, 2009)
Language: English
ISBN-10: 3642045693