Wow! eBookFM 2011: Formal Methods: 17th Inteational Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Hardcover: 464 pages
Publisher: Springer (June 16, 2011)
Language: English
ISBN-10: 3642214363
