Web services and formal methods : third international workshop, WS-FM 2006 : Vienna, Austria, September 8-9, 2006 : proceedings. : Sep 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 4184)
Web services and formal methods : third international workshop, WS-FM 2006 : Vienna, Austria, September 8-9, 2006 : proceedings. : Sep 2006, Vienna, Austria.