Web Services and Formal Methods

MLA

Bravetti, Mario, et al. Web Services and Formal Methods. Springer Berlin Heidelberg, 2011.

APA

Bravetti, M., Bultan, T., Kanade, T., & Kittler, J. (2011). Web Services and Formal Methods. Springer Berlin Heidelberg.

Chicago

Bravetti, Mario, Tevfik Bultan, Takeo Kanade, and Josef Kittler. Web Services and Formal Methods. : Springer Berlin Heidelberg, 2011.