Formal Abstraction and Compatibility Checking of Web Services

Kais Klai, Hanen Ochi, Samir Tata. Formal Abstraction and Compatibility Checking of Web Services. In 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28 - July 3, 2013. pages 163-170, IEEE, 2013. [doi]

Abstract

Abstract is missing.