Web Services and Formal Methods: 5th International Workshop, ...
Preview
5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings Roberto Bruni, Karsten Wolf. Roberto Bruni Karsten Wolf (Eds.) Web Services and Formal Methods 5th International Workshop, WS-FM 2008 Milan, Italy ...