Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

• Main Author: Laneve, Cosimo
• Corporate Author: SpringerLink (Online service)
• Other Authors: Su, Jianwen
• Format: Electronic Kit Book
• Language: English
• Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
• Series: Lecture Notes in Computer Science 6194
• Subjects: Computer science; Computer Communication Networks; Software engineering; Information systems; Information storage and retrieval systems; Multimedia systems; Computer Science; Information Systems and Communication Service; Information Systems Applications (incl.Internet); Information Storage and Retrieval; Software Engineering; Multimedia Information Systems