Gianluigi Zavattaro
4 published titles
Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 9783540261810
- Springer
- 2005
- Details
Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versaill
(Contributor)
1 edition
- ISBN: 9783540287018
- Springer
- 2005
- Details
Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings
(Contributor)
1 edition
- ISBN: 9783540388623
- Springer
- 2006
- Details
Service-oriented and cloud computing : First European conference, ESOCC 2012, Bertinoro, Italy, September 19-21 2012 : proceedings
(Contributor)
1 edition
- ISBN: 9783642334269
- Springer
- 2012
- Details
