Universita Ca' Foscari Venezia,Universite Paris Diderot (Paris 7);
Universita Ca' Foscari Venezia;
机译:基于程序切片,抽象解释和不变分析的组合的循环边界分析
机译:静态型分析通过抽象解释Python计划
机译:通过递减顺序的抽象解释来改善程序分析的结果
机译:通过抽象解释信息泄漏分析
机译:自动化抽象机器的抽象解释
机译:食管胃连接癌患者吻合口漏处理的经验及影响因素分析
机译:抽象解释的信息泄漏分析