Web services and formal methods：6th international workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009 : revised selected papers

Corporate Authors: WS-FM 2009 (2009 Bologna, Italy); SpringerLink (Online serveice)
Group Author: Su Jianwen.; Laneve Cosimo, 1962-
Published: Springer,
Publication Dates: 2010.