提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/indiaSE/KhareSK11AU-哈雷，Shubhangi澳大利亚-萨拉斯瓦特，桑迪普AU-库马尔，什拉旺TI-大型嵌入式代码库的静态程序分析：经验。BT-2011年2月24日至27日在印度喀拉拉邦Thiruvananthapuram举行的第四届印度软件工程年会（ISEC 2011）SP-99型EP-1022011年上半年//DO-10.1145/1953355.1953368UR-（欧元）https://doi.org/10.1145/1953355.1953368急诊室-