Publication
(All)

Results 1-1 of 1 (Search time: 0.004 seconds).

Issue DateTitleAuthor(s)SourcescopusWOSFulltext/Archive link
12004Verifying Web applications using bounded model checkingY. W. Huang; Y. Fang; C. Hang; C. H. Tsai; D. T. Lee; S. Y. Kuo; SY-YEN KUO International Conference on Dependable Systems and Networks (DSN-2004)