Web Services and Formal Methods

MLA

Laneve, Cosimo, and Jianwen Su. Web Services and Formal Methods. Springer Berlin Heidelberg, 2010.

APA

Laneve, C., & Su, J. (2010). Web Services and Formal Methods. Springer Berlin Heidelberg.

Chicago

Laneve, Cosimo, and Jianwen Su. Web Services and Formal Methods. : Springer Berlin Heidelberg, 2010.