A Model Checking-based Method for Verifying Web Application Design
Electronic Notes on Theoretical Computer Science - -2006Authors
Donini Francesco M.,
Mongiello Marina,
Ruta Michele, Totaro Rodolfo
Download: donini_et_al_ENTCS2006.pdfDOI
https://doi.org/10.1016/j.entcs.2005.07.034BibTex 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"
}