A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis

Publication
In Proceedings of the 23rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014), Parma, Italy, 2014, pp 411-416
Date