会员服务
静态分析越来越被认为是程序验证、错误检测、编译器优化、程序理解和软件维护的基本工具。国际静态分析系列研讨会（SAS）是展示该领域理论、实践和应用进展的主要场所。官网链接：http://www.staticanalysis.org/
暂无数据
参考链接
父主题
Springer
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top