Formal methods for web services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures - International School on Formal Methods for the Design of Computer, Communication, and Software Systems 2009 : Bertinoro, Italy); Bernardo, Marco; Padovani, Luca.; Zavattaro, Gianluigi; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Formal methods (Computer science) -- Congresses; Internet -- Congresses; Information Systems Applications (incl.Internet); Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering/Programming and Operating Systems; Software Engineering; Computer Science; Computer Systems Organization and Communication Networks