Web Services And Formal Methods 8th International Workshop Wsfm 2011 Clermontferrand France September 12 2011 Revised Selected Papersde Jean-Marc PetitMateriasWeb servicesComputer scienceEdiciones (1)Web Services And Formal Methods 8th International Workshop Wsfm 2011 Clermontferrand France September 12 2011 Revised Selected Papers (2012)Springer · ISBN 9783642298332Más obras de Jean-Marc PetitWeb Services and Formal Methods