计算机工程2003，Vol.29Issue(z1)：43-44,49,3.
Web应用有效性的模型验证方法
Model Checking in Web Application Validation
摘要
关键词
Web应用/有效性/模型验证/SPIN Promela分类
信息技术与安全科学引用本文复制引用
王知镕,尤晋元..Web应用有效性的模型验证方法[J].计算机工程,2003,29(z1):43-44,49,3.基金项目
国家自然科学基金项目(69973032) （69973032）
