Web Applications Design and Maintenance 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, Giacomo Piscitelli. Web Applications Design and Maintenance Using Symbolic Model Checking. In 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 26-28 March 2003, Benevento, Italy, Proceedings. pages 63-72, IEEE Computer Society, 2003. [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 'Giacomo Piscitelli' in Google

runs on WebDSL