SpringerLink (Online service), Laneve, C., & Su, J. (2010). Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers. Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Cosimo Laneve, and Jianwen Su. Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers. Springer Berlin Heidelberg, 2010.
Warning: These citations may not always be 100% accurate.
