Web Services and Formal Methods: 7th Inteational Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers (Lecture .. / Programming and Software Engineering)
Hardcover: 195 pages
Publisher: Springer (March 31, 2011)
Language: English
ISBN-10: 3642195881