[Lecture Notes in Computer Science] Web
✍
Bravetti, Mario; Núñez, Manuel; Zavattaro, Gianluigi
📂
Article
📅
2006
🏛
Springer Berlin Heidelberg
🌐
English
⚖ 349 KB
Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such t