ISBN 9783642382291 books & textbook
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Programming and Software Engineering)
ter Beek, Maurice H. Lohmann, Niels
Springer /2013-04-25 Paperback / 161 Pages
isbn-10: 3642382290 / isbn-13: 9783642382291
