%0 Conference Paper %1 conf/hase/TangWZG15 %A Tang, Yiting %A Wu, Xi %A Zhu, Huibiao %A Guo, Jian %B HASE %D 2015 %I IEEE Computer Society %K dblp %P 197-206 %T Formalization and Verification of REST Architecture in Viewpoints. %U http://dblp.uni-trier.de/db/conf/hase/hase2015.html#TangWZG15 %@ 978-1-4799-8110-6

@inproceedings{conf/hase/TangWZG15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Tang, Yiting and Wu, Xi and Zhu, Huibiao and Guo, Jian}, biburl = {https://www.bibsonomy.org/bibtex/2542b7ac4c2d650c1c39c10cc1c63a212/dblp}, booktitle = {HASE}, crossref = {conf/hase/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/HASE.2015.37}, interhash = {7cf2f29d89d96b1d4e88ce90cd985843}, intrahash = {542b7ac4c2d650c1c39c10cc1c63a212}, isbn = {978-1-4799-8110-6}, keywords = {dblp}, pages = {197-206}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:23:57.000+0200}, title = {Formalization and Verification of REST Architecture in Viewpoints.}, url = {http://dblp.uni-trier.de/db/conf/hase/hase2015.html#TangWZG15}, year = 2015 }