Web services and formal methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers - WS-FM 2008 (2008 : Milan, Italy.); Bruni, Roberto; Wolf, Karsten; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Web services -- Congresses; Formal methods (Computer science) -- Congresses; System Performance and Evaluation; Software Engineering; Logics and Meanings of Programs; Computer Science; Models and Principles; Computer Communication Networks; Information Systems Applications (incl.Internet)