by EmilioTuosto (Editor), OuyangChun (Editor), Emilio Tuosto (Editor), Ouyang Chun (Editor)
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013.
Format: Paperback
Pages: 200
Edition: 2014
Publisher: Springer
Published: 25 Jul 2014
ISBN 10: 3319082590
ISBN 13: 9783319082592