Freddy Y. C. Mang

2001

dblp
MCWEB: A Model-Checking Tool for Web Site Debugging.
Luca de Alfaro|Thomas A. Henzinger|Freddy Y. C. Mang
Poster Proceedings of the Tenth International World Wide Web Conference, WWW 10, Hong Kong, China, May 1-5, 2001