Wow! eBookFM 2012: Formal Methods: 18th Inteational Symposium, Paris, France, August 27-31, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Hardcover: 504 pages
Publisher: Springer (July 21, 2012)
Language: English
ISBN-10: 3642327583
