静态分析：第 13 届国际研讨会，SAS 2006，韩国首尔，2006 年 8 月 29-31 日。会议记录 电子书下载

原名:Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
作品简介:本书是 2006 年 8 月在韩国首尔举行的第 13 届静态分析国际研讨会 (SAS 2006) 的审稿论文集。所提交的 23 篇修改后的全文以及 3 个受邀演讲的摘要经过仔细审查，并从 80 份提交的论文中筛选出来。论文……