Web Services and Formal Methods

MLA

Hutchison, David, et al. Web Services and Formal Methods. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Kittler, J., & Petit, J. (2012). Web Services and Formal Methods. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Josef Kittler, and Jean-Marc Petit. Web Services and Formal Methods. : Springer Berlin Heidelberg, 2012.