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.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.