Formal Methods for Web Services

MLA

Bernardo, Marco, et al. Formal Methods for Web Services. Springer Berlin Heidelberg, 2009.

APA

Bernardo, M., Kanade, T., Padovani, L., & Zavattaro, G. (2009). Formal Methods for Web Services. Springer Berlin Heidelberg.

Chicago

Bernardo, Marco, Takeo Kanade, Luca Padovani, and Gianluigi Zavattaro. Formal Methods for Web Services. : Springer Berlin Heidelberg, 2009.