Web services and formal methods. 6th international workshop, WS-FM 2009, Bologna, Italy, September 4--5, 2009. Revised selected papers
scientific article; zbMATH DE number 5775801