Web Services and Formal Methods
MLA
Dumas, Marlon, and Reiko Heckel. Web Services and Formal Methods. Springer Berlin Heidelberg, 2008.
APA
Dumas, M., & Heckel, R. (2008). Web Services and Formal Methods. Springer Berlin Heidelberg.
Chicago
Dumas, Marlon, and Reiko Heckel. Web Services and Formal Methods. : Springer Berlin Heidelberg, 2008.