You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 2 results:

BibTex

Filters: Keyword is GVERDI [Clear All Filters]

Conference Proceedings

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.

Journal Article

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.