Marco Carbone, Jean-Marc Petit Web Services and Formal Methods - 2012 ISBN: 978-3-642-29834-9 Subjects--Topical Terms: Information Storage and RetrievalInformation Systems Applications (incl.Internet)Management of Computing and Information SystemsSoftware EngineeringUser Interfaces and Human Computer InteractionComputer Science