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 (17η εκδ.)SpringerLink (Online service), Emilio Tuosto, και 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 εκδ.)SpringerLink (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.