ISBN 3642158978 books & textbook
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture Notes in Computer Science, 6371)
Kowalewski, Stefan Roveri, Marco
Springer /2010-09-09 Paperback / 243 Pages
isbn-10: 3642158978 / isbn-13: 9783642158971
