Marlon Dumas,Reiko Heckel

• Web Services and Formal Methods