MCWEB: A Model-Checking Tool for Web Site Debugging

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/www/AlfaroHM01, title={MCWEB: A Model-Checking Tool for Web Site Debugging}, year={2001}, booktitle={WWW Posters}, ee={http://www10.org/cdrom/posters/1147.pdf}, url={http://www.informatik.uni-trier.de/~ley/db/conf/www/www2001p.html#AlfaroHM01}, author={Luca de Alfaro and Thomas A. Henzinger and Freddy Y. C. Mang} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/MCWEB:_A_Model-Checking_Tool_for_Web_Site_Debugging"
Personal tools