Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi. A logical verification methodology for service-oriented computing. ACM Transactions on Software Engineering Methodology, 21(3):16, 2012. [doi]
Abstract is missing.