ISBN 9783319082592 books & textbook
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers (Programming and Software Engineering)
Springer /2014-07-25 Paperback / 198 Pages
isbn-10: 3319082590 / isbn-13: 9783319082592