Design verification of web applications using symbolic model checking

Intl. Conf. on Web Engineering 2005 ICWE 05, Springer-Verlag, Volume 3579, page 69--74 - 2005

BibTex references


@InCollection{DDMTC05,
author = {Eugenio {Di Sciascio} and Francesco M. Donini and Marina Mongiello and Rodolfo Totaro and Daniela Castelluccia},
title = "Design verification of web applications using
symbolic model checking",
booktitle = "Intl. Conf. on Web Engineering 2005 ICWE 05",
series = "Lecture Notes in Artificial Intelligence",
volume = "3579",
pages = "69--74",
year = "2005",
publisher = "Springer-Verlag",
url = "http://sisinflab.poliba.it/publications/2005/DDMTC
05"
}

Other publications in the database

SisInf Lab - Information Systems Laboratory

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