Formal Methods for Web Services: Advanced Lectures/9th Intl School on Formal Methods for the Design of Computer, Comm. and Software Systems, SFM 2009. Bertinoro, Italy, June 2009

Б2.1, Б2.3, В.5.

Formal Methods for Web Services: Advanced Lectures/9th Intl School on Formal Methods for the Design of Computer, Comm. and Software Systems, SFM 2009. Bertinoro, Italy, June 2009Ed. by Bernardo M., Padovani L., Zavattaro G..-Berlin, Heidelberg.: Springer, 2009.-Vol. 5569.-339 p.-(Lecture Notes in Computer Science).