![](/img/cover-not-exists.png)
[IEEE 2014 IEEE 23rd International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprise (WETICE) - Parma, Italy (2014.6.23-2014.6.25)] 2014 IEEE 23rd International WETICE Conference - A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis
Ruvo, Giuseppe De, Santone, AntonellaYear:
2014
Language:
english
DOI:
10.1109/wetice.2014.25
File:
PDF, 377 KB
english, 2014