Web Services and Formal Methods
MLA
Emilio Tuosto, Chun Ouyang, and Chun Ouyang. Web Services and Formal Methods. Springer International Publishing, 2014.
APA
Emilio Tuosto, C. Ouyang, & Ouyang, C. (2014). Web Services and Formal Methods. Springer International Publishing.
Chicago
Emilio Tuosto, Chun Ouyang, and Chun Ouyang. Web Services and Formal Methods. : Springer International Publishing, 2014.