Design verification of web applications using symbolic model checking
Intl. Conf. on Web Engineering 2005 ICWE 05 - -2005Authors
Di Sciascio Eugenio,
Donini Francesco M.,
Mongiello Marina, Totaro Rodolfo, Castelluccia Daniela
DOI
https://doi.org/10.1007/11531371_12BibTex references
@InCollection{DDMTC05,
author = "Di Sciascio, Eugenio and Donini, Francesco M. and Mongiello, Marina and Totaro, Rodolfo and Castelluccia, Daniela",
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/DDMTC05"
}