01404nam2-2200361---450-99000332504020331620091005133128.0978-3-642-01917-3000332504USA01000332504(ALEPH)000332504USA0100033250420091005d2009----km-y0itay0103----baengDEa---||||001yyFormal methods for web services9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009Bertinoro, Italy, june 1-6, 2009advanced lecturesMarco Bernardo...[et al.] (Eds.)Berlin [etc.]Springercopyr. 2009VI, 339 p.ill.24 cmLecture notes in computer science5569Tutorial2001Lecture notes in computer science5569InformaticaCongressiBertinoro2009005.12BERNARDO,MarcoInternational school on formal methods for the design of computer, communication, and software systems, SFM 2009<9.;<2009;Bertinoro>606141ITAsalbcISBD990003325040203316001 LNCS 556938366/CBS00100222307BKSCIRSIAV79020091005USA011331Formal methods for web services1121435UNISA