Daniel R. Licata, Shriram Krishnamurthi
Verifying Interactive Web Programs
ASE, 2004.
@inproceedings{ASE-2004-LicataK, author = "Daniel R. Licata and Shriram Krishnamurthi", booktitle = "{Proceedings of the 19th IEEE International Conference on Automated Software Engineering}", doi = "10.1109/ASE.2004.10054", isbn = "0-7695-2131-2", pages = "164--173", publisher = "{IEEE Computer Society}", title = "{Verifying Interactive Web Programs}", year = 2004, }