Overview
Formal Methods for Industrial Critical Systems: 18th International Workshop, Fmics 2013, Madrid, Spain, September 23-24, 2013, Proceedings
- | Author: Michael Dierkes
- | Publisher: Springer
- | Publication Date: Sep 13, 2013
- | Number of Pages: 199 pages
- | Binding: Paperback or Softback
- | ISBN-10: 364241009X
- | ISBN-13: 9783642410093