Web Services and Formal Methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers - Bravetti, Mario; Bultan, Tevfik; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Software engineering; Information storage and retrieval systems; Information systems; Information Systems; Computer Science; Information Systems Applications (incl.Internet).; Software Engineering; Management of Computing and Information Systems; Information Storage and Retrieval; User Interfaces and Human Computer Interaction