Domenico Bianculli, Carlo Ghezzi. SAVVY-WS at a glance: Supporting verifiable dynamic service compositions. In 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshop Proceedings (ASE Workshops 2008), 15-16 September 2008, L Aquila, Italy. pages 49-56, IEEE, 2008. [doi]
Abstract is missing.