RESTful Services and Web-OS Middleware: a Formal Specification Approach

Mario Bravetti. RESTful Services and Web-OS Middleware: a Formal Specification Approach. J. UCS, 23(9):808-844, 2017. [doi]

Abstract

Abstract is missing.