Web Services and Formal Methods

MLA

Hutchison, David; Kanade, Takeo; Kittler, Josef, Josef Kittler, and Niels Lohmann. Web Services and Formal Methods. Springer Berlin Heidelberg, 2013.

APA

Hutchison, J., Kittler, J., & Lohmann, N. (2013). Web Services and Formal Methods. Springer Berlin Heidelberg.

Chicago

Hutchison, David; Kanade, Takeo; Kittler, Josef, Josef Kittler, and Niels Lohmann. Web Services and Formal Methods. : Springer Berlin Heidelberg, 2013.