A Model Checking-based Method for Verifying Web Application Design

A Model Checking-based Method for Verifying Web Application Design

Electronic Notes on Theoretical Computer Science - -2006

Authors

Donini Francesco M., Mongiello Marina, Ruta Michele, Totaro Rodolfo

Download: donini_et_al_ENTCS2006.pdf

DOI

https://doi.org/10.1016/j.entcs.2005.07.034

BibTex references

@Article{DMRT06,
  author       = "Donini, Francesco M. and Mongiello, Marina and Ruta, Michele and Totaro, Rodolfo",
  title        = "A Model Checking-based Method for Verifying Web Application Design",
  journal      = "Electronic Notes on Theoretical Computer Science",
  number       = "2",
  volume       = "151",
  pages        = "19--32",
  year         = "2006",
  note         = "doi: 10.1016/j.entcs.2005.07.034",
  url          = "http://sisinflab.poliba.it/Publications/2006/DMRT06"

}