Web services and formal methods :  third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings / 
Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.) 
 - Berlin :  Springer,  2006 
 - 287 p. :  ill. ;  24 cm. 
 - Lecture notes in computer science ;  4184 .
<br/><br/><label>ISBN: </label>3540388621 9783540388623 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Web services--Congresses<br/>Formal methods (Computer science)--Congresses