1
Formal Techniques for Computer Systems and Business Processes [E-Book] / European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September
2
Web Services and Formal Methods [E-Book] / Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings