Szymon Katra, Wiktor B. Daszczuk, Danny Czejdo. An Experimentation Framework for Specification and Verification of Web Services. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, Dominik Slezak, editors, Proceedings of the 17th Conference on Computer Science and Intelligence Systems, FedCSIS 2022, Sofia, Bulgaria, September 4-7, 2022. Volume 30 of Annals of Computer Science and Information Systems, pages 913-917, 2022. [doi]
Abstract is missing.