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

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