MCWEB: A Model-Checking Tool for Web Site Debugging
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
- Anthology ID:
- DBLP:conf/www/AlfaroHM01
- Volume:
- Poster Proceedings of the Tenth International World Wide Web Conference, WWW 10, Hong Kong, China, May 1-5, 2001
- Year:
- 2001
- Venue:
- wwwconf_conference
- URL:
- http://www10.org/cdrom/posters/1147.pdf
- DBLP:
- conf/www/AlfaroHM01
- PDF:
- http://www10.org/cdrom/posters/1147.pdf
