A Model Checking-based Method for Verifying Web Application Design

Electronic Notes on Theoretical Computer Science, Volume 151, Number 2, page 19--32 - 2006
Download the publication : donini_et_al_ENTCS2006.pdf [459Ko]  

BibTex references


@Article{DMRT06,
author = {Francesco M. Donini and Marina Mongiello and Michele Ruta and Rodolfo Totaro},
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/DMRT0
6"
}

Other publications in the database

SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy