Proc. of 3rd Int'l Workshop on Automated Specification and Verification of Web Sites
BALLIS D
•
ESCOBAR S
•
MARCHIORI M
altro
Marchiori, M.
2008
Periodico
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Archivio
Diritti
metadata only access