You are here

Publications

Export 2 results:
Filters: Keyword is GVERDI  [Clear All Filters]
2006
D. Ballis and Vivó, J. G., A Rule-based System for Web Site Verification, Proceedings of the 1st International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), vol. 157. Elsevier, pp. 153–156, 2006.
M. Alpuente, Ballis, D., and Falaschi, M., Rule-based Verification of Web Sites, International Journal on Software Tools for Technology Transfer (STTT), vol. 8, pp. 565–585, 2006.