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]