web services and formal methods: 6th international workshop, ws-fm 2009, bologna, italy, september 4-5, 2009, revised selected papers (en Inglés)

laneve, cosimo · springer