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: | The Web Conference (WWW) |
| DBLP: | conf/www/AlfaroHM01 |
| BibTeX: |
@inproceedings{alfaro-2001-mcweb,
author = {Luca de Alfaro and
Thomas A. Henzinger and
Freddy Y. C. Mang},
editor = {Vincent Y. Shen and
Nobuo Saito and
Michael R. Lyu and
Mary Ellen Zurko},
title = {{MCWEB: A Model-Checking Tool for Web Site Debugging}},
booktitle = {{Poster Proceedings of the Tenth International World Wide Web Conference, WWW 10, Hong Kong, China, May 1-5, 2001}},
year = {2001}
}