MCWEB: A Model-Checking Tool for Web Site Debugging

Has publishing details , 2001

Has title MCWEB: A Model-Checking Tool for Web Site Debugging

Has url http://www.informatik.uni-trier.de/~ley/db/conf/www/www2001p.html#AlfaroHM01

Has where published WWW Posters

Has year 2001

Has author Luca de Alfaro +, Thomas A. Henzinger +, Freddy Y. C. Mang +

Has identifier MCWEB: A Model-Checking Tool for Web Site Debugging +

Categories Proceeding Paper +