Title: Web Services And Formal Methods 8th International Workshop Wsfm 2011 Clermontferrand France September 12 2011 Revised Selected Papers
Subjects: Web services, Computer science