A design methodology for verified web-service mediators

Jing Cao, Albert Nymeyer. A design methodology for verified web-service mediators. Computing, 95(7):567-610, 2013. [doi]

Abstract

Abstract is missing.