Skip to main content
Username
*
Password
*
Forgot Password?
F.LI.T.
(Formal LIght-weight Tools)
Main menu
Publications
Publications
Navigation
Publications
You are here
Home
A Rule-based System for Web Site Verification
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.
Google Scholar
BibTex
Google Scholar
BibTex