Design Verification of Web Applications Using Symbolic Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Eugenio Di Sciascio' in GoogleThis author has not been identified. Look up 'Francesco M. Donini' in GoogleThis author has not been identified. Look up 'Marina Mongiello' in GoogleThis author has not been identified. Look up 'Rodolfo Totaro' in GoogleThis author has not been identified. Look up 'Daniela Castelluccia' in Google

runs on WebDSL