An Experimentation Framework for Specification and Verification of Web Services
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Polish Information Processing Society
2022-09-01
|
| Series: | Annals of computer science and information systems |
| Online Access: | https://annals-csis.org/Volume_30/drp/pdf/188.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850106286789623808 |
|---|---|
| author | Szymon Katra Wiktor Daszczuk Danny Czejdo |
| author_facet | Szymon Katra Wiktor Daszczuk Danny Czejdo |
| author_sort | Szymon Katra |
| collection | DOAJ |
| format | Article |
| id | doaj-art-0d3249e9e7bf4286bdb018700969e3e2 |
| institution | OA Journals |
| issn | 2300-5963 |
| language | English |
| publishDate | 2022-09-01 |
| publisher | Polish Information Processing Society |
| record_format | Article |
| series | Annals of computer science and information systems |
| spelling | doaj-art-0d3249e9e7bf4286bdb018700969e3e22025-08-20T02:38:52ZengPolish Information Processing SocietyAnnals of computer science and information systems2300-59632022-09-013091391710.15439/2022F188An Experimentation Framework for Specification and Verification of Web ServicesSzymon KatraWiktor DaszczukDanny Czejdohttps://annals-csis.org/Volume_30/drp/pdf/188.pdf |
| spellingShingle | Szymon Katra Wiktor Daszczuk Danny Czejdo An Experimentation Framework for Specification and Verification of Web Services Annals of computer science and information systems |
| title | An Experimentation Framework for Specification and Verification of Web Services |
| title_full | An Experimentation Framework for Specification and Verification of Web Services |
| title_fullStr | An Experimentation Framework for Specification and Verification of Web Services |
| title_full_unstemmed | An Experimentation Framework for Specification and Verification of Web Services |
| title_short | An Experimentation Framework for Specification and Verification of Web Services |
| title_sort | experimentation framework for specification and verification of web services |
| url | https://annals-csis.org/Volume_30/drp/pdf/188.pdf |
| work_keys_str_mv | AT szymonkatra anexperimentationframeworkforspecificationandverificationofwebservices AT wiktordaszczuk anexperimentationframeworkforspecificationandverificationofwebservices AT dannyczejdo anexperimentationframeworkforspecificationandverificationofwebservices AT szymonkatra experimentationframeworkforspecificationandverificationofwebservices AT wiktordaszczuk experimentationframeworkforspecificationandverificationofwebservices AT dannyczejdo experimentationframeworkforspecificationandverificationofwebservices |