Electronic Notes on Theoretical Computer Science - -2006

Authors

Castelluccia Daniela, Mongiello Marina, Ruta Michele, Totaro Rodolfo

Download: castelluccia_et_al_ENTCS2006.pdf

DOI

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

BibTex references

@Article{CMRT06,
  author       = "Castelluccia, Daniela and Mongiello, Marina and Ruta, Michele and Totaro, Rodolfo",
  title        = "WAVer: A Model Checking-based Tool to Verify Web Application Design",
  journal      = "Electronic Notes on Theoretical Computer Science",
  number       = "1",
  volume       = "157",
  pages        = "61--76",
  year         = "2006",
  note         = "doi: 10.1016/j.entcs.2006.01.023",
  url          = "http://sisinflab.poliba.it/Publications/2006/CMRT06"

}