编辑配置文件(在新选项卡中打开) 雷米·波顿 合著者距离 作者ID: 雷米 发布日期: 雷米·波顿 编入索引的文档: 2出版物自2018年起 合著者: 1名合著者具有2联合出版物 27位合作作者 合著者 0 单作者的 2 尼古拉斯·哈尔巴赫斯 系列 1 系统设计中的形式化方法 领域 2 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用2中的次2文件 引用人▼ 年份▼ 用于程序间分析的析取关系抽象解释。 Zbl 1522.68146号 雷米·波顿;尼古拉斯·哈尔巴赫斯 1 2019 通过超出递减序列的抽象解释改进程序分析结果。 兹比尔1425.68064 雷米·波顿;尼古拉斯·哈尔巴赫斯 1 2018 过程间程序分析的析取关系抽象解释。 Zbl 1522.68146号 雷米·波顿;尼古拉斯·哈尔巴赫斯 1 2019 通过超出递减序列的抽象解释改进程序分析结果。 Zbl 1425.68064号 雷米·波顿;尼古拉斯·哈尔巴赫斯 1 2018 5位作者引用 1 文森佐·阿塞里 1 圣地亚哥包蒂斯塔 1 伊莎贝拉·马斯特罗埃尼 1 贝诺·蒙塔古 1 埃纳州扎法内拉 0连载引用 在1个字段中引用 2 计算机科学(68至XX) 按年份列出的引文