@inproceedings{AmatoCGSS05-preproc,
  author = {Gianluca Amato and Massimo Coppola and Stefania Gnesi and Francesca
        Scozzari and Laura Semini},
  title = {Modeling Web Applications by the Multiple Levels of Integrity Policy},
  crossref = {DSIC-II/03/05},
  pages = {161--175},
  number = {},
  note = {Technical Report DSIC-II/03/05, Departamento de Sistemas Inform{\'a}ticos y Computaci{\'o}n, Universidad Polit{\'e}cnica de Valencia},  
}

@techreport{DSIC-II/03/05,
    editor = {Mar{\'\i}a Alpuente and  Santiago Escobar and  Moreno Falaschi},
    title = {Automated Specification and Verification of Web Sites, First International Workshop, WWV'05
March 14-15, 2005. Valencia, Spain},
    booktitle = {Automated Specification and Verification of Web Sites, First International Workshop, WWV'05
March 14-15, 2005. Valencia, Spain},
    institution = {Departamento de Sistemas Inform{\'a}ticos y Computaci{\'o}n, Universidad Polit{\'e}cnica de Valencia},
    number = {DSIC-II/03/05},
    year = 2005,
    month = may,
}