Formal Methods: Applications and Technology: 11th Inteational Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th .. / Programming and Software Engineering)
Hardcover: 363 pages
Publisher: Springer (February 20, 2007)
Language: English
ISBN-10: 3540709517