Integrated Formal Methods: 7th Inteational Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Hardcover: 367 pages
Publisher: Springer (February 2, 2009)
Language: English
ISBN-10: 3642002544