Integrated Formal Methods: 8th Inteational Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Hardcover: 352 pages
Publisher: Springer (October 6, 2010)
Language: English
ISBN-10: 3642162649