Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers - Bruni, Roberto; Wolf, Karsten; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Computer Communication Networks; Computer system performance; Software engineering; Logic design; Information systems; Computer Science; Information Systems Applications (incl.Internet).; Software Engineering; Computer Communication Networks; Logics and Meanings of Programs; System Performance and Evaluation; Models and Principles