Gianluigi Zavattaro (auth.)

Showing the single result

[PDF] Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)