Domenico Bianculli Carlo Ghezzi SAVVY-WS at a glance: Supporting verifiable dynamic service compositions. 49-56 2008 ASE Workshops http://dx.doi.org/10.1109/ASEW.2008.4686293 conf/kbse/2008w db/conf/kbse/asew2008.html#BianculliG08