Web Services and Formal Methods

MLA

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

APA

Bravetti, M., Kanade, T., Nau?nez, M., Núñez, M., & Zavattaro, G. (2006). Web Services and Formal Methods. Springer Berlin Heidelberg.

Chicago

Bravetti, Mario, Takeo Kanade, Manuel Nau?nez, Manuel Núñez, and Gianluigi Zavattaro. Web Services and Formal Methods. : Springer Berlin Heidelberg, 2006.