You are here

Publications

Export 1 results:
Filters: Keyword is Verification of Web Applications and Author is Javier Garcia Vivó  [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.