An Experimentation Framework for Specification and Verification of Web Services. - Szymon Katra; Wiktor B. Daszczuk; Danny Czejdo (FedCSIS, 2022)