Laneve, C., & Su, J. (2010). Web Services and Formal Methods: [E-Book] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / edited by Cosimo Laneve, Jianwen Su. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg.
Chicago Style CitationLaneve, Cosimo, andfavorite Jianwen Su. Web Services and Formal Methods: [E-Book] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / Edited By Cosimo Laneve, Jianwen Su. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010.
MLA CitationLaneve, Cosimo, andfavorite Jianwen Su. Web Services and Formal Methods: [E-Book] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / Edited By Cosimo Laneve, Jianwen Su. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010.