You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 1 results:

BibTex

Filters: Keyword is Verification of Web Applications and Author is Demis Ballis [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

B

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.