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 (1st ed. 2014.). Springer International Publishing : Imprint: Springer.
Cita Chicago Style (17a ed.)SpringerLink (Online service), Emilio Tuosto, y Chun Ouyang. Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. 1st ed. 2014. Cham: Springer International Publishing : Imprint: Springer, 2014.
Cita MLA (8a ed.)SpringerLink (Online service), et al. Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. 1st ed. 2014. Springer International Publishing : Imprint: Springer, 2014.