"WSCOVER: A Tool for Automatic Composition and Verification of Web Services ..."

Khai T. Huynh, Thang H. Bui, Than-Tho Quan (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics