Formal Framework for Automated Analysis and Verification of Web-Based Applications

@inproceedings{Haydar:ASE04,
  author    = {May Haydar},
  title     = {Formal Framework for Automated Analysis and Verification of {Web-Based} Applications},
  booktitle = {ASE},
  pages     = {410--413},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}