“...International Workshop on Web Services and Formal Methods Vídeň, Rakousko)...”