Verifying Web Applications Using Bounded Model Checking

Please use this identifier to cite or link to this item: http://ir.sinica.edu.tw/handle/201000000A/36956

Title:	Verifying Web Applications Using Bounded Model Checking
Authors:	Huang, Y. W. Yu, F. Hang, C. Tsai, C. H. Lee, D. T. Kuo, S. Y.
Issue Date:	2004-06-01
Conference:	2004 International Conference on Dependable Systems and Networks (DSN2004) (Florence, Italy)
URI:	http://ir.sinica.edu.tw/handle/201000000A/36956
Appears in Collections:	資訊科學研究所

Show full item record

Last Week
0

Last month
0

checked on Jan 1, 2023

Check