Verification of Hypermedia Characteristic of RESTful Finite-State Machines
Henry Vu, Tobias Fertig, Peter Braun
- Anthology ID:
- DBLP:conf/www/VuFB18
- Volume:
- Companion of the The Web Conference 2018 on The Web Conference 2018, WWW 2018, Lyon , France, April 23-27, 2018
- Year:
- 2018
- Venue:
- wwwconf_conference
- Publisher:
- ACM
- Pages:
- 1881–1886
- URL:
- https://doi.org/10.1145/3184558.3191656
- DOI:
- 10.1145/3184558.3191656
- DBLP:
- conf/www/VuFB18
