Home›Books›Web Services And Formal Methods 8th International Workshop Wsfm 2011 Clermontferrand France September 12 2011 Revised Selected PapersWeb Services And Formal Methods 8th International Workshop Wsfm 2011 Clermontferrand France September 12 2011 Revised Selected Papersby Jean-Marc PetitNo description available.Web servicesComputer science