Anshuman Mukherjee, Zahir Tari, Peter Bertók. A Spring Based Framework for Verification of Service Composition. In Hans-Arno Jacobsen, Yang Wang, Patrick Hung, editors, IEEE International Conference on Services Computing, SCC 2011, Washington, DC, USA, 4-9 July, 2011. pages 258-265, IEEE, 2011. [doi]
Abstract is missing.