An Experimentation Framework for Specification and Verification of Web Services

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.