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
Semantic Verification of Web System Contents
M. Alpuente
,
Baggi, M.
,
Ballis, D.
, and
Falaschi, M.
,
“
Semantic Verification of Web System Contents
”
,
ER 2008 Workshops (WISM 2008)
, vol. 5232. Springer, pp. 437–446, 2008.
Google Scholar
BibTex
Google Scholar
BibTex