Konstantinos Barlas, Eleni Berki, Iulia Adomnita, Thrushna Nalam, Golnaz S. Nejad, Jari Veijalainen. Formal Specification of Open Standards and the Case of RSS v2.0. In Sokratis K. Katsikas, Michael Hatzopoulos, Theodoros Apostolopoulos, Dimosthenis Anagnostopoulos, Elias Carayiannis, Theodora A. Varvarigou, Mara Nikolaidou, editors, 18th Panhellenic Conference on Informatics, PCI '14, Athens, Greece, October 2-4, 2014. pages 1-6, ACM, 2014. [doi]
Abstract is missing.