Proc. of 4th Int'l Workshop on Automated Specification and Verification of Web Sites
Ballis, Demi
•
Escobar, S.
2009
Periodico
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Archivio
Diritti
metadata only access