This volume contains the proceedings of the 7th Internatio nal Workshop on Web Services and Formal Methods (WS-FM 2010), held at the Stevens Institute of Technology, Hoboken, New Jersey, USA, during September 16–17, 2010 and co-located with the 8th International Conf erence on Business Process Management (BPM 2010). The aim of the WS-FM workshop series is to bring together researchers working on service-oriented computing, cloud computing and formal methods in order to catalyze fruitful collaboration.

Web Services and Formal Methods - 7th International Workshop (WS-FM 2010), Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

BRAVETTI, MARIO;
2011

Abstract

This volume contains the proceedings of the 7th Internatio nal Workshop on Web Services and Formal Methods (WS-FM 2010), held at the Stevens Institute of Technology, Hoboken, New Jersey, USA, during September 16–17, 2010 and co-located with the 8th International Conf erence on Business Process Management (BPM 2010). The aim of the WS-FM workshop series is to bring together researchers working on service-oriented computing, cloud computing and formal methods in order to catalyze fruitful collaboration.
2011
191
9783642195884
M. Bravetti; T. Bultan
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/119005
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact