An Experimentation Framework for Specification and Verification of Web Services.

Szymon Katra, Wiktor B. Daszczuk, Danny Czejdo

Browse the full FedCSIS paper archive.