Web Applications Design and Maintenance using Symbolic Model Checking
Proceedings of 7th IEEE European Conference on Software Maintenance and Reengineering - MAR.-2003Authors
Di Sciascio Eugenio,
Donini Francesco M.,
Mongiello Marina, Piscitelli Giacomo
DOI
https://doi.org/10.1109/csmr.2003.1192411BibTex references
@InProceedings{DDMP03,
author = "Di Sciascio, Eugenio and Donini, Francesco M. and Mongiello, Marina and Piscitelli, Giacomo",
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://sisinflab.poliba.it/Publications/2003/DDMP03"
}