Web services and formal methods: 6th international workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009: revised selected papers

Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro (auth.) & 2 more

Governing through Standards

Formal Methods for Open Object-Based Distributed Systems (vol. # 4037): 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Massimo Bartoletti, Pierpaolo Degano & 3 more