Rensselaer Polytechnic Institute.;
机译:用于C的类型推断:应用于不完整程序的静态分析
机译:用于命令式编程语言静态分析的符号分析框架
机译:PGFIT:IOT编程框架中健康和健身应用的静态许可分析
机译:有关安全相关程序属性的推理实用静态分析
机译:一个集成的静态和动态程序分析框架,用于检查与并发相关的编程错误。
机译:来自与安全相关的背景下的面部表情的提示:生物学和社会认知框架
机译:用于推断与安全性相关的程序属性的实用静态分析
机译:静态模型分析的实用本体框架