Wow! eBookIntegrated Formal Methods: 10th Inteational Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Hardcover: 457 pages
Publisher: Springer (May 7, 2013)
Language: English
ISBN-10: 3642386121
