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

Giuseppe De Ruvo, Antonella Santone

Browse the full WETICE paper archive.