Verifying Interactive Web Programs

@inproceedings{Licata-Krishnamurthi:ASE04,
  author    = {Daniel R. Licata and
               Shriram Krishnamurthi},
  title     = {Verifying Interactive Web Programs},
  booktitle = {ASE},
  pages     = {164--173},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}