Wow! eBookIntegrated Formal Methods: 9th Inteational Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Hardcover: 372 pages
Publisher: Springer (June 6, 2012)
Language: English
ISBN-10: 3642307280
