Design verification of web applications using symbolic model checking

Design verification of web applications using symbolic model checking

Intl. Conf. on Web Engineering 2005 ICWE 05 - -2005

Authors

Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Totaro Rodolfo, Castelluccia Daniela

DOI

https://doi.org/10.1007/11531371_12

BibTex references

@InCollection{DDMTC05,
  author       = "Di Sciascio, Eugenio and Donini, Francesco M. and Mongiello, Marina and Totaro, Rodolfo and Castelluccia, Daniela",
  title        = "Design verification of web applications using symbolic model checking",
  booktitle    = "Intl. Conf. on Web Engineering 2005 ICWE 05",
  series       = "Lecture Notes in Artificial Intelligence",
  volume       = "3579",
  pages        = "69--74",
  year         = "2005",
  publisher    = "Springer-Verlag",
  url          = "http://sisinflab.poliba.it/Publications/2005/DDMTC05"

}