Towards formal open standards: formalizing a standard's requirements - The case of RSS v2.0

Konstantinos Barlas, Eleni Berki, Petros S. Stefaneas, George Koletsos. Towards formal open standards: formalizing a standard's requirements - The case of RSS v2.0. ISSE, 13(1):51-66, 2017. [doi]

Abstract

Abstract is missing.