Web services and formal methods
Subtitle: 5th international workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, revised selected papers
By: Roberto Bruni, Karsten Wolf (eds.).
Contributors: Bruni, Roberto; Wolf, Karsten
Series: Lecture notes in computer science -- 5387
Publisher: Springer
Published: 2009
Place of publication: Berlin
Language: eng
Number of pages: 239
ISBN-13: 9783642013638
Subjects: Formal methods (Computer science); Congresses; Web services
Notes: Includes bibliographical references and index.