International Workshop on Web Services and Formal Methods
-
2015
WS-FM 2015
- 4-5 September
- Madrid, Spain
-
Web Services, Formal Methods, and Behavioral Types
9 Papers
1 Volume
-
2014
WS-FM 2014
- 11-12 September
- Eindhoven, The Netherlands
-
Web Services, Formal Methods, and Behavioral Types
9 Papers
1 Volume
-
2011
WS-FM 2011
- 1-2 September
- Clermont-Ferrand, France
-
Web Services and Formal Methods
10 Papers
1 Volume
-
2007
WS-FM 2007
- 28-29 September
- Brisbane, QLD, Australia
-
Web Services and Formal Methods
11 Papers
1 Volume
-
2005
WS-FM 2005
- 1-3 September
- Versailles, France
-
Formal Techniques for Computer Systems and Business Processes
24 Papers
1 Volume