Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia. Design Verification of Web Applications Using Symbolic Model Checking. In David Lowe, Martin Gaedke, editors, Web Engineering, 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005, Proceedings. Volume 3579 of Lecture Notes in Computer Science, pages 69-74, Springer, 2005. [doi]
@inproceedings{SciascioDMTC05,
title = {Design Verification of Web Applications Using Symbolic Model Checking},
author = {Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello and Rodolfo Totaro and Daniela Castelluccia},
year = {2005},
doi = {10.1007/11531371_12},
url = {http://dx.doi.org/10.1007/11531371_12},
tags = {model checking, meta-model, modeling, UML, model-driven development, web applications, Meta-Environment, reliability, design, process modeling, systematic-approach},
researchr = {https://researchr.org/publication/SciascioDMTC05},
cites = {0},
citedby = {0},
pages = {69-74},
booktitle = {Web Engineering, 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005, Proceedings},
editor = {David Lowe and Martin Gaedke},
volume = {3579},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-27996-2},
}