AnWeb: a System for Automatic Support to Web Application Verification
SEKE 2002, 14th. Software Engineering and Knowledge Engineering Conference, page 609--616 - July 2002
BibTex references
@InProceedings{DDMP02a,
author = {Eugenio {Di Sciascio} and Francesco M. Donini and Marina Mongiello and Giacomo Piscitelli},
title = "AnWeb: a System for Automatic Support to Web
Application Verification",
booktitle = "SEKE 2002, 14th. Software Engineering and
Knowledge Engineering Conference",
pages = "609--616",
month = "July",
year = "2002",
publisher = "ACM",
url = "http://sisinflab.poliba.it/publications/2002/DDMP0
2a"
}
Other publications in the database