SpringerLink (Online service), Tuosto, E., & Ouyang, C. (2014). Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Springer International Publishing : Imprint: Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Emilio Tuosto, and Chun Ouyang. Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Cham: Springer International Publishing : Imprint: Springer, 2014.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Springer International Publishing : Imprint: Springer, 2014.