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
An Automated Tool for Web Sites Verification
M. Alpuente
,
Ballis, D.
, and
Falaschi, M.
,
“
An Automated Tool for Web Sites Verification
”
,
Logics in Artificial Intelligence, 9th European Conference, JELIA 2004
, vol. 3229. Springer, pp. 726–729, 2004.
Google Scholar
BibTex
Google Scholar
BibTex