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]
Abstract is missing.