Web Applications Design and Maintenance using Symbolic Model Checking

Proceedings of 7th IEEE European Conference on Software Maintenance and Reengineering - MAR.-2003

Authors

Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Piscitelli Giacomo

DOI

https://doi.org/10.1109/csmr.2003.1192411

BibTex 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"

}