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

by Jean-Marc Petit