Towards formal checking of Web services substitutability. - Sofiane Bourouz; Nadia Zeghib (ICAASE, 2016)

On context-independent and context-aware cloud services substitutability verification. - Sofiane Bourouz; Nadia Zeghib (Int. J. Crit. Comput. Based Syst., 2018)