Automated Verification Tool for DHTML

Takaaki Tateishi; Hisashi Miyashita; Kouichi Ono; Shin Saito

doi:10.1109/ASE.2006.21

Previous
Next
Table of Contents
Similar Articles

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)

Automated Verification Tool for DHTML

Year: 2006, Pages: 363-364

DOI Bookmark: 10.1109/ASE.2006.21

Authors

Takaaki Tateishi, Tokyo Research Laboratory, IBM Japan
Hisashi Miyashita, Tokyo Research Laboratory, IBM Japan
Kouichi Ono, Tokyo Research Laboratory, IBM Japan
Shin Saito, Tokyo Research Laboratory, IBM Japan

Automated Verification Tool for DHTML

Authors

Abstract