Yiting Tang, Xi Wu, Huibiao Zhu, Jian Guo. Formalization and Verification of REST Architecture in Viewpoints. In 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015. pages 197-206, IEEE, 2015. [doi]
Abstract is missing.