Formal Methods for Industrial Critical Systems: 12th Inteational Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers .. / Programming and Software Engineering)
Hardcover: 251 pages
Publisher: Springer (May 19, 2008)
Language: English
ISBN-10: 3540797068