skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

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

De Ruvo, G., and A. Santone, "A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis", Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2014 IEEE 23rd International Conference on, pp. 411-416, June, 2014.