TY  - BOOK
AU  - Bravetti,Mario
AU  - Núñez,Manuel
AU  - Zavattaro,Gianluigi
ED  - WS-FM 2006
TI  - Web services and formal methods: third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings 
SN  - 3540388621
PY  - 2006///
CY  - Berlin
PB  - Springer
KW  - Web services
KW  - Congresses
KW  - Formal methods (Computer science)
ER  -