Web services and formal methods
Subtitle: 6th international workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009 : revised selected papers
By: Cosimo Laneve, Jianwen Su (eds.).
Contributors: Laneve, Cosimo; Su, Jianwen
Series: Lecture notes in computer science -- 6194; LNCS sublibrary: SL 2-programming and software engineering
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 195
ISBN-13: 9783642144578
Subjects: Formal methods (Computer science); Congresses; Web services
Notes: Includes bibliographical references and index.

Also issued online.