Cosimo Laneve, Jianwen Su Web Services and Formal Methods - 2010 ISBN: 978-3-642-14458-5 Subjects--Topical Terms: Computer Communication NetworksInformation Storage and RetrievalInformation Systems and Communication ServiceInformation Systems Applications (incl.Internet)Multimedia Information SystemsSoftware EngineeringComputer Science