M. Pesic (auth.)

Showing the single result

[PDF] Web Services and Formal Methods: Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings W. M. P. van der Aalst, M. Pesic (auth.), Mario Bravetti, Manuel N??ez, Gianluigi Zavattaro (eds.)