Web Services And Formal Methods 8th International Workshop Wsfm 2011 Clermontferrand France September 12 2011 Revised Selected Papers | lit.salon