A Type-Based Analysis for Verifying Web Application - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Woosung Jung, Eunjoo Lee, Kapsu Kim, Chisu Wu. A Type-Based Analysis for Verifying Web Application. In Guozhu Dong, Xuemin Lin, Wei Wang 0011, Yun Yang, Jeffrey Xu Yu, editors, Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007, Proceedings. Volume 4505 of Lecture Notes in Computer Science, pages 813-820, Springer, 2007. [doi]

This author has not been identified. Look up 'Woosung Jung' in GoogleThis author has not been identified. Look up 'Eunjoo Lee' in GoogleThis author has not been identified. Look up 'Kapsu Kim' in GoogleThis author has not been identified. Look up 'Chisu Wu' in Google

runs on WebDSL