Web Services and Formal Methods

MLA

Bruni, Roberto, et al. Web Services and Formal Methods. Springer Berlin Heidelberg, 2009.

APA

Bruni, R., Kanade, T., Wolf, K., & Kittler, J. (2009). Web Services and Formal Methods. Springer Berlin Heidelberg.

Chicago

Bruni, Roberto, Takeo Kanade, Karsten Wolf, and Josef Kittler. Web Services and Formal Methods. : Springer Berlin Heidelberg, 2009.