Web Applications Design and Maintenance using Symbolic Model Checking

Proceedings of 7th IEEE European Conference on Software Maintenance and Reengineering, page 63--72 - Mar. 2003

BibTex references


@InProceedings{DDMP03,
author = {Eugenio {Di Sciascio} and Francesco M. Donini and Marina Mongiello and Giacomo Piscitelli},
title = "Web Applications Design and Maintenance using
Symbolic Model Checking",
booktitle = "Proceedings of 7th IEEE European Conference on
Software Maintenance and Reengineering",
pages = "63--72",
month = "Mar.",
year = "2003",
publisher = "IEEE",
address = "Benevento, Italy",
url = "http://www-ictserv.poliba.it/publications/2003/DDM
P03"
}

Other publications in the database

SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy